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
purl: pkg:hackage/hoq
Keywords:
dependent-types
, gpl
, program
, Propose Tags
License: GPL-2.0-only
Latest release: almost 11 years ago
First release: about 11 years ago
Downloads: 2,499 total
Stars: 83 on GitHub
Forks: 4 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 20 days ago
Loading...
Readme
Loading...