search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

Add notFollowedBy and eof #38

Closed Melvar closed 8 years ago

Melvar commented 8 years ago

Also includes anyToken, and removals of satisfy (const True) outside of anyToken itself.

Melvar commented 8 years ago

I made the name change, added the reference to notFollowedBy to the doc, and made a minor formatting change and a minor doc wording change.

ziman commented 8 years ago

Many thanks!