projects / cubicaltt.git / commit
| author | coquand <coquand@chalmers.se> | |
| Sun, 27 Dec 2015 18:33:04 +0000 (19:33 +0100) | ||
| committer | coquand <coquand@chalmers.se> | |
| Sun, 27 Dec 2015 18:33:04 +0000 (19:33 +0100) | ||
| commit | cdb08db86114e129a3c5c3616bd439613964adca | |
| tree | 5cafd99b403686060a6e81ba9c8382f2582bc2ae | tree | snapshot |
| parent | 3d2a7d4bee17a1a652ac05b6087b9d2c1761699a | commit | diff |
| Eval.hs | diff | blob | blame | history | |
| examples/testEquiv.ctt | diff | blob | blame | history |