Agdarsec

Total Parser Combinators in Agda

Project website

The package has no detailed description

unstable

channel

0.5.0-unstable-2025-08-05

version

agdaPackages

set

Yes

supported

No

broken

Free

license

46

platforms

Other applications from the agdaPackages set