search

jgm / djot.js

JavaScript implementation of djot
MIT License
155 stars 18 forks source link

Define precise type for `Event.annot` #101

Open not-my-profile opened 1 week ago

not-my-profile commented 1 week ago

This enables API users to identify the events returned by parseEvents in a type-safe manner.

Note that the last commit which stops the encoding of the list styles into annot does constitute a breaking change.