parseque icon indicating copy to clipboard operation
parseque copied to clipboard
verified publisher icon coq-community

Bring parseque up to date with agdarsec

Open gallais opened this issue 7 years ago • 0 comments

I have modified the type of parsers (& parameters) in https://github.com/gallais/agdarsec to allow for e.g. error reporting. It would be nice to bring parseque up to date.

Blog post detailing the modifications: https://gallais.github.io/blog/instrumenting-agdarsec.html

gallais avatar Dec 18 '18 09:12 gallais