TParsec - Total Parser Combinators in Idris
Primary LanguageIdrisGNU General Public License v3.0GPL-3.0
This is a port of agdarsec to Idris.