The cubical package

[Tags: mit, program]

Cubical implements an experimental simple type checker for type theory with univalence with an evaluator for closed terms.


Versions0.1.0, 0.1.1, 0.1.2, 0.2.0 (info)
Dependenciesarray (>=0.4), base (>=4.5 && <5), BNFC (>=2.5), directory (>=1.2), filepath (>=1.3), haskeline (>=0.7), mtl (>=2.1), transformers (>=0.3)
AuthorCyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg
CategoryDependent Types
Home page
UploadedSun Apr 27 14:45:14 UTC 2014 by AndersMortberg
Downloads462 total (31 in last 30 days)
StatusDocs not available [build log]
All reported builds failed [all 1 reports]


Maintainers' corner

For package maintainers and hackage trustees