git.ak3n.com - cubicaltt.git/commit

projects / cubicaltt.git / commit

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

author	Simon Huber <hubsim@gmail.com>
	Fri, 5 Jun 2015 13:50:26 +0000 (15:50 +0200)
committer	Simon Huber <hubsim@gmail.com>
	Fri, 5 Jun 2015 13:50:26 +0000 (15:50 +0200)
commit	6cf058d8c6eefbb66bb99cd8d7ad4f30575fe8ed
tree	0c973678e3114b96755e9a5071532346c53e4d5f	tree \| snapshot
parent	86633c35d8ff2d53e6914005d0b331cf960daf73	commit \| diff

Finished eqToIso and removed constants for comp in U

CTT.hs		diff \| blob \| blame \| history
Eval.hs		diff \| blob \| blame \| history
TypeChecker.hs		diff \| blob \| blame \| history
examples/bool.ctt		diff \| blob \| blame \| history
examples/newhedberg.ctt		diff \| blob \| blame \| history
examples/prelude.ctt		diff \| blob \| blame \| history

My fork of cubicaltt with web interface using Reflex.