Giters

timsueberkrueb / idris-tparsec

TParsec - Total Parser Combinators in Idris

Home Page:https://gallais.github.io/idris-tparsec/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

TParsec - Total Parser Combinators in Idris

This is a port of agdarsec to Idris.

About

TParsec - Total Parser Combinators in Idris

https://gallais.github.io/idris-tparsec/

License:GNU General Public License v3.0

Languages

Language:Idris 100.0%