hoq: A language based on homotopy type theory with an interval object

[ dependent-types, gpl, program ] [ Propose Tags ]

[Skip to Readme]
Versions [RSS] [faq] 0.1.0.0, 0.2, 0.3
Dependencies array (>=0.4), base (==4.6.*), BNFC (>=2.5), mtl (>=2.1), prelude-extras (>=0.4), pretty (>=1.1), readline (>=1.0) [details]
License GPL-2.0-only
Author isaev
Maintainer valery.isaev@gmail.com
Category Dependent Types
Home page http://github.com/valis/hoq
Source repo head: git clone git://github.com/valis/hoq.git
Uploaded by valis at 2014-07-11T22:42:31Z
Distributions NixOS:0.3
Executables hoq
Downloads 2188 total (19 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2016-12-14 [all 7 reports]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates


Readme for hoq-0.1.0.0

[back to package description]

hoq

A language based on homotopy type theory with an interval