projects / cubicaltt.git / commit
| author | coquand <coquand@chalmers.se> | |
| Tue, 29 Dec 2015 11:42:12 +0000 (12:42 +0100) | ||
| committer | coquand <coquand@chalmers.se> | |
| Tue, 29 Dec 2015 11:42:12 +0000 (12:42 +0100) | ||
| commit | 6ac1b6e712452899fe6f49f68dfdaf0dbf25f4bc | |
| tree | 6ee364689e8983f65aeaef99e5836454b11ded98 | tree | snapshot |
| parent | cdb08db86114e129a3c5c3616bd439613964adca | commit | diff |
| examples/prelude.ctt | diff | blob | blame | history |