git.xn--bdkaa.com Git - cubicaltt-web.git/commit

]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit

projects / cubicaltt-web.git / commit

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

author	Anders <mortberg@chalmers.se>
	Fri, 17 Apr 2015 15:18:04 +0000 (17:18 +0200)
committer	Anders <mortberg@chalmers.se>
	Fri, 17 Apr 2015 15:18:04 +0000 (17:18 +0200)
commit	aed955207f1d121d8c951238d7c304f9cdfa4d87
tree	d283089c148f9e515b1df5441c06a142f262b535	tree \| snapshot
parent	136ad1a0650928068d3ad2600b2a66603483be3c	commit \| diff

Fix printing of goals and environments (TODO: Fix "susp (bool)"...)

CTT.hs		diff \| blob \| history
Connections.hs		diff \| blob \| history
TypeChecker.hs		diff \| blob \| history
examples/susp.ctt		diff \| blob \| history

My fork of cubicaltt with web interface using Reflex.