@hackage / BNFC-meta

Deriving Parsers and Quasi-Quoters from BNF Grammars

0.6.1

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / nanoAgda A toy dependently-typed language
- Version: 1.0.0
- Last uploaded: 14 years ago
- License: LicenseRef-OtherLicense
@hackage / uAgda A simplistic dependently-typed language with parametricity.
- Version: 1.2.0.4
- Last uploaded: 14 years ago
- License: LicenseRef-OtherLicense