idris-lightyear 0.1-1.6d65ad1 Lightweight parser combinator library for Idris

Lightweight parser combinator library for Idris, inspired by Parsec. This package is used (almost) the same way as Parsec, except for one difference: backtracking.