@hackage hoq0.2

A language based on homotopy type theory with an interval type

Categories
License
GPL-2.0-only
Maintainer
valery.isaev@gmail.com
Links
Versions
- 0.3 Sat, 27 Sep 2014
- 0.2 Wed, 20 Aug 2014
- 0.1.0.0 Fri, 11 Jul 2014

Installation
Custom
In your cabal file:
Dependencies (0)
Dependents (1)
@hackage/acme-everything

hoq

A language based on homotopy type theory with an interval