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.2.0.tar.gz
sha256=65d94cf24c6bf652351d9f9ba751e67693394fa074d91d1ba0b92b2385500b8d

Description

Port of agdarsec to Coq

Tags

category:Computer Science/Data Types and Data Structures date:2023-11-14 logpath:parseque

Published: 14 Nov 2023

Dependencies (1)

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

Dev Dependencies

None

Used by (1)

  1. coq-wasm

Conflicts

None