hackage.haskell.org : cubical
Cubical implements an experimental simple type checker for type theory with univalence with an evaluator for closed terms.
Registry
-
Source
- JSON
purl: pkg:hackage/cubical
Keywords:
dependent-types
, mit
, program
, Propose Tags
License: MIT
Latest release: over 11 years ago
First release: over 11 years ago
Downloads: 3,500 total
Stars: 147 on GitHub
Forks: 10 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 3 days ago