parseque - Total Parser Combinators in Coq

This is a port of agdarsec to Coq.

Installation instructions

You can install parseque with opam:

opam repo add coq-released https://coq.inria.fr/opam/released
opam install coq-parseque

Or build and install manually:

git clone https://github.com/gallais/parseque
cd parseque
make
make install