]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 543b51c) | patch
one example with constant functions
authorcoquand <coquand@chalmers.se>
Tue, 14 Apr 2015 06:19:50 +0000 (08:19 +0200)
committercoquand <coquand@chalmers.se>
Tue, 14 Apr 2015 06:19:50 +0000 (08:19 +0200)
commitf98077706d02d431dd125f4132d100d48adf54c2
tree8def6c87e759f3e60bfbbe49284c3e89dcf12a2etree | snapshot
parent543b51c27a453d8a9b97fa4f15b3cea1d6485398commit | diff
one example with constant functions
examples/ex1.ctt [new file with mode: 0644] blob
My fork of cubicaltt with web interface using Reflex.