Idris Nanoparsec Nanoparsec is an extremely small (i.e. nano-)scale experiment with writing a parser combinator library similar to Parsec from Haskell.