search

gallais / idris-tparsec

TParsec - Total Parser Combinators in Idris
https://gallais.github.io/idris-tparsec/
GNU General Public License v3.0
93 stars 10 forks source link

Fix STLC examples #21

Closed clayrat closed 5 years ago

clayrat commented 5 years ago

Fixes https://github.com/gallais/idris-tparsec/issues/19

I've backported the code and tests from agdarsec, but the text in comments should probably also be rewritten.