]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc57876) | patch
Make normal print nicer names
authorAnders <mortberg@chalmers.se>
Mon, 20 Apr 2015 15:07:21 +0000 (17:07 +0200)
committerAnders <mortberg@chalmers.se>
Mon, 20 Apr 2015 15:07:21 +0000 (17:07 +0200)
commit07ec799f068e61c98475f933650a70d51c14e042
tree46a87905aaf58ca41e1ed3ffb5ffd7780b538ce4tree | snapshot
parentfc5787618b805aedb19406202330f451297c4403commit | diff
Make normal print nicer names
CTT.hs diff | blob | history
Eval.hs diff | blob | history
Main.hs diff | blob | history
TypeChecker.hs diff | blob | history
examples/prop.ctt diff | blob | history
My fork of cubicaltt with web interface using Reflex.