@hackage cubical0.1.1

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

Deprecated
This release has been deprecated in favour of: @hackage/cubical-0.2.0
Dependencies (0)
- array >=0.4
- base >=4.5 && <5
- directory >=1.2
- mtl >=2.1
- transformers >=0.3
- BNFC >=2.6
Dependents (1)
@hackage/acme-everything

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