git.ak3n.com - cubicaltt.git/commit

projects / cubicaltt.git / commit

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

author	Anders <mortberg@chalmers.se>
	Thu, 19 Mar 2015 17:53:47 +0000 (18:53 +0100)
committer	Anders <mortberg@chalmers.se>
	Thu, 19 Mar 2015 17:53:47 +0000 (18:53 +0100)
commit	41bff376f8f9518a15795e03c1462e7645271d37
tree	828c462866620c3dfb0e8634ede0bf1cb8b06a04	tree \| snapshot
parent	1c760bdb234959d6b5c4e6952e0a023521f95b0b	commit \| diff

Finish implementing comp

CTT.hs		diff \| blob \| blame \| history
Connections.hs		diff \| blob \| blame \| history
Eval.hs		diff \| blob \| blame \| history
TypeChecker.hs		diff \| blob \| blame \| history
examples/nat.ctt		diff \| blob \| blame \| history

My fork of cubicaltt with web interface using Reflex.