Total Parser Combinators in Coq
Port of the agdarsec total parser combinator library to Coq.
parseque
The easiest way to install the latest released version of Parseque
is via OPAM:
opam repo add coq-released https://coq.inria.fr/opam/released
opam install coq-parseque
To instead build and install manually, do:
git clone https://github.com/coq-community/parseque.git
cd parseque
make # or make -j <number-of-cores-on-your-machine>
make install
This Coq library is a port of the agdarsec
library for Agda. The core design of agdarsec is described in
this paper, while
this blog post
describes instrumentation.