git.ak3n.com - cubicaltt.git/commit

projects / cubicaltt.git / commit

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

author	Simon Huber <hubsim@gmail.com>
	Tue, 9 Jun 2015 13:48:42 +0000 (15:48 +0200)
committer	Simon Huber <hubsim@gmail.com>
	Tue, 9 Jun 2015 13:48:42 +0000 (15:48 +0200)
commit	33ebab86a5f6aaf07bfab3fb39f7ae829ebbf2b0
tree	b914a631c9940d3be8b892e1639f7fa9caa2425e	tree \| snapshot
parent	0e90403fc695b70830c9c8304b6c4adb3f3b2828	commit \| diff

Rename hiso to equiv

CTT.hs		diff \| blob \| blame \| history
Eval.hs		diff \| blob \| blame \| history
TypeChecker.hs		diff \| blob \| blame \| history

My fork of cubicaltt with web interface using Reflex.