projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 136ad1a) | patch
Fix printing of goals and environments (TODO: Fix "susp (bool)"...)
authorAnders <mortberg@chalmers.se>
Fri, 17 Apr 2015 15:18:04 +0000 (17:18 +0200)
committerAnders <mortberg@chalmers.se>
Fri, 17 Apr 2015 15:18:04 +0000 (17:18 +0200)
commitaed955207f1d121d8c951238d7c304f9cdfa4d87
treed283089c148f9e515b1df5441c06a142f262b535tree | snapshot
parent136ad1a0650928068d3ad2600b2a66603483be3ccommit | diff
Fix printing of goals and environments (TODO: Fix "susp (bool)"...)
CTT.hs diff | blob | blame | history
Connections.hs diff | blob | blame | history
TypeChecker.hs diff | blob | blame | history
examples/susp.ctt diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.