A language based on homotopy type theory with an interval
Haskell Bison Logos Other
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
data
examples equivalences Apr 5, 2015
src Fix a bug in eta equivalence Apr 5, 2015
tests
.gitignore Add bnfc Jun 6, 2014
LICENSE
Makefile Add Makefile Jun 20, 2014
README.md Initial commit Jun 5, 2014
Setup.hs Now it compiles Jul 16, 2014
hoq.cabal Finish a definition of Segal types Sep 27, 2014

README.md

hoq

A language based on homotopy type theory with an interval