git.ak3n.com - cubicaltt.git/commit

projects / cubicaltt.git / commit

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

author	Anders <mortberg@chalmers.se>
	Thu, 26 Mar 2015 15:52:26 +0000 (16:52 +0100)
committer	Anders <mortberg@chalmers.se>
	Thu, 26 Mar 2015 15:52:26 +0000 (16:52 +0100)
commit	da91f4869b11632f7b2b3bb6d7128632b4c3fd62
tree	1b68e26e7208d4e030642dc9269a7819afedfb15	tree \| snapshot
parent	0d9a18d0172e76151e46c54a3a0f47371213c26c	commit \| diff

Finish adding HITs

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