lambdaxymox/idris-nanoparsec

A minimal and simple string based parser combinator library written in Idris.

GitHub repository with 5 stars and 0 forks.

Language: Idris

Open provider repository