git.ak3n.com - cubicaltt.git/commit

projects / cubicaltt.git / commit

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

author	Simon Huber <hubsim@gmail.com>
	Thu, 19 Mar 2015 11:46:51 +0000 (12:46 +0100)
committer	Simon Huber <hubsim@gmail.com>
	Thu, 19 Mar 2015 11:46:51 +0000 (12:46 +0100)
commit	e1b8c19984ff866dbf11e268fbacc2e37295d81f
tree	54a163bd3cd91af2d33c680a99016b94e0028499	tree \| snapshot
parent	7b046c4c012e00a11876b130648c210234d361da	commit \| diff

throw out Binder

CTT.hs		diff \| blob \| blame \| history
Eval.hs		diff \| blob \| blame \| history
Main.hs		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.