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