idris-tparsec icon indicating copy to clipboard operation
idris-tparsec copied to clipboard

Published 20 hours ago • verified publisher icon gallais
→

Metadata

TParsec - Total Parser Combinators in Idris

TParsec - Total Parser Combinators in Idris

This is a port of agdarsec to Idris.

← Metadata

93
Stars
10
Forks
Watchers

Owner

verified publisher icon gallais

Metadata

TParsec - Total Parser Combinators in Idris

Back