Name		Name	Last commit message	Last commit date
Latest commit History 142 Commits
Parser		Parser
Syntax		Syntax
Tests		Tests
doc		doc
tests		tests
Cube.hs		Cube.hs
ErrorDoc.hs		ErrorDoc.hs
Eval.hs		Eval.hs
Grammar.cf		Grammar.cf
Main.hs		Main.hs
Makefile		Makefile
README.md		README.md
TCM.hs		TCM.hs
TypeChecking.hs		TypeChecking.hs
TypeInference.hs		TypeInference.hs
Value.hs		Value.hs
hott.vim		hott.vim

Repository files navigation

HoTT

HoTT playground