]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c20d293) | patch
an example where we type-checked a normal form
authorcoquand <coquand@chalmers.se>
Sat, 26 Dec 2015 19:02:12 +0000 (20:02 +0100)
committercoquand <coquand@chalmers.se>
Sat, 26 Dec 2015 19:02:12 +0000 (20:02 +0100)
commit2627e6085f8304fcba3c4501e745d5ff51a546df
tree1569f075e5396bb7998841c0ba1d9b6961f0202etree | snapshot
parentc20d293db72f9f3e7f98690360aee7db1aa18915commit | diff
an example where we type-checked a normal form
examples/testContr.ctt diff | blob | history
My fork of cubicaltt with web interface using Reflex.