@hackage hoq0.1.0.0

A language based on homotopy type theory with an interval object

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)
- BNFC >=2.5
- array >=0.4
- base >=4.6 && <4.7
- mtl >=2.1
- prelude-extras >=0.4
- pretty >=1.1
Dependents (1)
@hackage/acme-everything

hoq

A language based on homotopy type theory with an interval