hackage.haskell.org : uAgda
Registry
- JSON
purl: pkg:hackage/uAgda
Keywords:
dependent-types
, program
, Propose Tags
License: Other
Latest release: over 13 years ago
First release: almost 15 years ago
Downloads: 7,094 total
Last synced: 23 days ago
Loading...
Readme
Loading...