package coq-parseque
Total parser combinators in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v0.2.2.tar.gz
sha256=c593a09501d148179c09ab2ba653037fd7b17eb02cd808f535a9501bf18a4273
Description
Port of agdarsec to Coq
Tags
category:Computer Science/Data Types and Data Structures date:2024-03-10 logpath:parsequePublished: 10 Mar 2025
On This Page