@hackage cubical0.2.0

Implementation of Univalence in Cubical Sets

Categories
License
MIT
Maintainer
mortberg@chalmers.se
Links
- Homepage
- Documentation
- No source repository
Versions
- 0.2.0 Sun, 27 Apr 2014
- 0.1.2 Wed, 25 Dec 2013
- 0.1.1 Wed, 25 Dec 2013
- 0.1.0 Thu, 19 Dec 2013

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