Awesome

TParsec - Total Parser Combinators in Idris

This is a port of agdarsec to Idris.