/idris-tparsec

TParsec - Total Parser Combinators in Idris

Primary LanguageIdrisGNU General Public License v3.0GPL-3.0

Stargazers