issues
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
idris
parser-combinators
readme
TParsec - Total Parser Combinators in Idris
This is a port of
agdarsec
to Idris.