git.ak3n.com - cubicaltt.git/commit

projects / cubicaltt.git / commit

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

author	Simon Huber <hubsim@gmail.com>
	Thu, 16 Apr 2015 12:32:17 +0000 (14:32 +0200)
committer	Simon Huber <hubsim@gmail.com>
	Thu, 16 Apr 2015 12:32:17 +0000 (14:32 +0200)
commit	3a80f8c7f9f33059c1b686c4295398dabf1f814e
tree	10e5720952a199f29ac191a1598d8d35d3bca056	tree \| snapshot
parent	13ddb7de939f746d332c1777884d89b520ec38d2	commit \| diff

change mkVar back to how it was

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.