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
tree8def6c87e759f3e60bfbbe49284c3e89dcf12a2e
parent543b51c27a453d8a9b97fa4f15b3cea1d6485398
one example with constant functions
examples/ex1.ctt [new file with mode: 0644]