git.ak3n.com - cubicaltt.git/commit

projects / cubicaltt.git / commit

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

author	Anders <mortberg@chalmers.se>
	Mon, 20 Apr 2015 15:07:21 +0000 (17:07 +0200)
committer	Anders <mortberg@chalmers.se>
	Mon, 20 Apr 2015 15:07:21 +0000 (17:07 +0200)
commit	07ec799f068e61c98475f933650a70d51c14e042
tree	46a87905aaf58ca41e1ed3ffb5ffd7780b538ce4	tree \| snapshot
parent	fc5787618b805aedb19406202330f451297c4403	commit \| diff

Make normal print nicer names

CTT.hs		diff \| blob \| blame \| history
Eval.hs		diff \| blob \| blame \| history
Main.hs		diff \| blob \| blame \| history
TypeChecker.hs		diff \| blob \| blame \| history
examples/prop.ctt		diff \| blob \| blame \| history

My fork of cubicaltt with web interface using Reflex.