hackage.haskell.org : hoq
Package maintainers For package maintainers and hackage trustees Candidates A language based on homotopy type theory with an interval
Registry
-
Source
- Homepage
- JSON
- codemeta.json
purl: pkg:hackage/hoq
Keywords:
dependent-types
, gpl
, program
, Propose Tags
License: GPL-2.0-only
Latest release: over 11 years ago
First release: over 11 years ago
Downloads: 2,517 total
Stars: 83 on GitHub
Forks: 4 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 1 month ago
Loading...
Readme
Loading...