Version 0.1.1-0 of cubical is deprecated.
The latest version of cubical is 0.2.0-0.
cubical
Version 0.1.1 revision 0 uploaded by AndersMortberg.
Package meta
- Synopsis
- Implementation of Univalence in Cubical Sets
- Description
Cubical implements an experimental simple type checker for type theory with univalence with an evaluator for closed terms.
- Author
- Cyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg
- Bug reports
- n/a
- Category
- Dependent Types
- Copyright
- n/a
- Homepage
- https://github.com/simhu/cubical
- Maintainer
- mortberg@chalmers.se
- Package URL
- n/a
- Stability
- n/a