]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2627e60) | patch
corrected Eval
authorcoquand <coquand@chalmers.se>
Sat, 26 Dec 2015 19:22:53 +0000 (20:22 +0100)
committercoquand <coquand@chalmers.se>
Sat, 26 Dec 2015 19:22:53 +0000 (20:22 +0100)
commit0fa3409aabf1886ce87c1aefc51740d2535817bd
tree1a34933d09ee03fe1cc0bc5a4fe62f5407cf0e88tree | snapshot
parent2627e6085f8304fcba3c4501e745d5ff51a546dfcommit | diff
corrected Eval
Eval.hs diff | blob | history
examples/testContr.ctt diff | blob | history
My fork of cubicaltt with web interface using Reflex.