]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51d1d29) | patch
we should improve the evaluator
authorThierry Coquand <coquand@dhcp-179211.eduroam.chalmers.se>
Wed, 27 Apr 2016 09:22:34 +0000 (11:22 +0200)
committerThierry Coquand <coquand@dhcp-179211.eduroam.chalmers.se>
Wed, 27 Apr 2016 09:22:34 +0000 (11:22 +0200)
commit4eb27da0bf4335ee87ac4d9d2c5e8a11d960fc99
tree73a8f56a948e3d2f3708438e0c9c1607584aff0etree | snapshot
parent51d1d2943b57c868ec0e46325514d8fc58dd0919commit | diff
we should improve the evaluator
examples/injective.ctt [new file with mode: 0644] blob
examples/subset.ctt [new file with mode: 0644] blob
My fork of cubicaltt with web interface using Reflex.