simple examples on nat and list
authorcoquand <coquand@chalmers.se>
Sat, 16 May 2015 09:04:05 +0000 (11:04 +0200)
committercoquand <coquand@chalmers.se>
Sat, 16 May 2015 09:04:05 +0000 (11:04 +0200)
commit1cd76f81f0dcd90ceb9708092e1971c0d2611b2a
tree7201cf3f674ce8ef66a162557c13d29c1f439894
parenta59e63c84670f1686b7538569e86f9d5e69e024b
simple examples on nat and list
examples/add.ctt [new file with mode: 0644]
examples/list.ctt