projects / cubicaltt.git / commit
| author | coquand <coquand@chalmers.se> | |
| Tue, 28 Apr 2015 11:22:26 +0000 (13:22 +0200) | ||
| committer | coquand <coquand@chalmers.se> | |
| Tue, 28 Apr 2015 11:22:26 +0000 (13:22 +0200) | ||
| commit | 7a00fd0e55433730b18cfb6a02863d3d45e31f38 | |
| tree | 9f347410409d43962590528ac54dd3618fd0e8a9 | tree | snapshot |
| parent | 2d2875e28d0116edcbd278576a6d152b18ba2319 | commit | diff |
| Eval.hs | diff | blob | blame | history | |
| examples/pi1S2.ctt | [new file with mode: 0644] | blob |
| examples/truncS2.ctt | diff | blob | blame | history |