search

coq-community / parseque

Total Parser Combinators in Coq [maintainer=@womeier]
MIT License
42 stars 5 forks source link

Fix boilerplate #11

Closed palmskog closed 1 year ago

palmskog commented 1 year ago

@womeier the current makefile unfortunately can't use parallel jobs. Not a big deal usually since the build time is so short, but this PR fixes it. I also made the description less cryptic and added a link to the agdarsec paper.

womeier commented 1 year ago

appreciated, thanks!