Awesome
<!--- This file was generated from `meta.yml`, please do not edit manually. Follow the instructions on https://github.com/coq-community/templates to regenerate. --->Parseque
Port of the agdarsec total parser combinator library to Coq.
Meta
- Author(s):
- G. Allais (initial)
- Coq-community maintainer(s):
- Wolfgang Meier (@womeier)
- License: MIT License
- Compatible Coq versions: 8.16 or later
- Additional dependencies: none
- Coq namespace:
parseque - Related publication(s):
Building and installation instructions
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
Documentation
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.