hackage.haskell.org : nanoAgda
Registry
- JSON
- codemeta.json
purl: pkg:hackage/nanoAgda
Keywords:
dependent-types
, program
, Propose Tags
License: Other
Latest release: over 13 years ago
First release: over 13 years ago
Downloads: 2,517 total
Last synced: about 1 month ago
Loading...
Readme
Loading...