projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5155185) | patch
Add indentation to Checking and start changing mkVar (not working as expected wrt...
authorAnders Mörtberg <mortberg@chalmers.se>
Thu, 16 Apr 2015 09:18:09 +0000 (11:18 +0200)
committerAnders Mörtberg <mortberg@chalmers.se>
Thu, 16 Apr 2015 09:18:09 +0000 (11:18 +0200)
commit13ddb7de939f746d332c1777884d89b520ec38d2
tree196158366debc0ee974a35f42f4642626037bda6tree | snapshot
parent51551851b246f2f550769f2e122d6ea650c4c077commit | diff
Add indentation to Checking and start changing mkVar (not working as expected wrt holes)
CTT.hs diff | blob | blame | history
Eval.hs diff | blob | blame | history
TypeChecker.hs diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.