You are viewing the staging branch of the website @ 884bba1, not the live version.

package coq-parseque

You can search for identifiers within the package.

in-package search v0.2.0

Total parser combinators in Coq

Install

Dune Dependency

github.com Edit opam file Versions (6)

Authors

G

G. Allais

Maintainers

Sources

sha256=c593a09501d148179c09ab2ba653037fd7b17eb02cd808f535a9501bf18a4273

Description

Port of agdarsec to Coq

Tags

category:Computer Science/Data Types and Data Structures date:2024-03-10 logpath:parseque

Published: 10 Mar 2025

Dependencies (1)

coq >= "8.16" & < "8.21"

Dev Dependencies

None

Used by (1)

coq-wasm

Conflicts

None

On This Page

Description
Dependencies (1)
Dev Dependencies
Used by (1)
Conflicts