@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)
- array >=0.4
- base >=4 && <5
- bytestring >=0.10
- filepath >=1.3
- mtl >=2.1
- bifunctors >=4.0
Dependents (1)
@hackage/acme-everything

hoq

A language based on homotopy type theory with an interval