TParsec - Total Parser Combinators in Idris
Home Page:https://gallais.github.io/idris-tparsec/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
This is a port of agdarsec to Idris.
https://gallais.github.io/idris-tparsec/
License:GNU General Public License v3.0