Parsec

Inspired by Haskell Parsec library.

Meta

• Author(s):
  • Yishuai Li
  • Azzam Althagafi
  • Yao Li
  • Li-yao Xia
  • Benjamin C. Pierce
• License: BSD 3-Clause "New" or "Revised" License
• Compatible Rocq/Coq versions: 8.14 or later
• Additional dependencies:
  • Cérès
  • ExtLib
  • Dune 3.6 or later
• Rocq/Coq namespace: Parsec
• Related publication(s): none

Building and installation instructions

The easiest way to install the latest released version of Parsec is via OPAM:

opam repo add rocq-released https://rocq-prover.org/opam/released
opam install coq-parsec

To instead build and install manually, you need to make sure that all the libraries this development depends on are installed. The easiest way to do that is still to rely on opam:

git clone https://github.com/liyishuai/coq-parsec.git
cd coq-parsec
opam repo add rocq-released https://rocq-prover.org/opam/released
opam install --deps-only .
dune build
dune install