package rocq-parseque
Total parser combinators in Rocq/Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v0.3.1.tar.gz
sha256=46c7d2c89c38257cb50ce8c7295adc2b45bb7ba3a9c005588acc7133a12d9b44
Description
Port of agdarsec to Rocq/Coq
Tags
category:Computer Science/Data Types and Data Structures date:2026-06-17 logpath:parsequePublished: 17 Jun 2026
Dependencies (2)
- rocq-stdlib
-
rocq-core
>= "9.0" & < "9.3~"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page