package coq-parseque

  1. Overview
  2. No Docs
Total parser combinators in Coq

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

  1. G
    G. Allais

Maintainers

  1. G
    G. Allais
  2. W
    W. Meier

Sources

v0.1.2.tar.gz
sha256=423912c1ee55b3a01adef415a0fc174048346e216d025e7e8dd81cdbd8c432ce

Description

Port of agdarsec to Coq

Tags

category:Computer Science/Data Types and Data Structures date:2023-09-27 logpath:parseque

Published: 27 Sep 2023

Dependencies (1)

  1. coq >= "8.16" & < "8.19"

Dev Dependencies

None

Used by

None

Conflicts

None