git.ak3n.com - cubicaltt.git/commit

projects / cubicaltt.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: cc81097) | patch

author	coquand <coquand@chalmers.se>
	Sat, 26 Dec 2015 16:35:18 +0000 (17:35 +0100)
committer	coquand <coquand@chalmers.se>
	Sat, 26 Dec 2015 16:35:18 +0000 (17:35 +0100)
commit	310ea900410963109a9512789c2862032a6ea5c4
tree	cd1184b4a298190083817b342e094bdc0a8fb3cc	tree \| snapshot
parent	cc8109787380e56fca3c88500eb10a88670cf982	commit \| diff

univalence

CTT.hs		diff \| blob \| blame \| history
Eval.hs		diff \| blob \| blame \| history
Exp.cf		diff \| blob \| blame \| history
Resolver.hs		diff \| blob \| blame \| history
TypeChecker.hs		diff \| blob \| blame \| history

My fork of cubicaltt with web interface using Reflex.