项目作者: gallais

项目描述 :
Total Parser Combinators in Coq
高级语言: Coq
项目地址: git://github.com/gallais/parseque.git
创建时间: 2017-11-08T12:37:45Z
项目社区:https://github.com/gallais/parseque

开源协议:GNU General Public License v3.0

下载


Parseque

Docker CI
Contributing
Code of Conduct
Zulip

Port of the agdarsec total parser combinator library to Coq.

Meta

Building and installation instructions

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

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

To instead build and install manually, do:

  1. git clone https://github.com/coq-community/parseque.git
  2. cd parseque
  3. make # or make -j <number-of-cores-on-your-machine>
  4. 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.