Cleaning
authorAnders <mortberg@chalmers.se>
Wed, 8 Apr 2015 10:27:59 +0000 (12:27 +0200)
committerAnders <mortberg@chalmers.se>
Wed, 8 Apr 2015 10:27:59 +0000 (12:27 +0200)
commitd44d48c411732b8d03c28e6a504472123c6f6659
tree815d901cae5994935397262975ccc7a74420832d
parent48e391324358a820b9e5222a0945b3bc6f6aa63c
Cleaning
examples/hedberg.ctt
examples/nat.ctt
examples/prelude.ctt
examples/retract.ctt