projects / cubicaltt.git / commit
| author | coquand <coquand@chalmers.se> | |
| Tue, 28 Apr 2015 11:37:09 +0000 (13:37 +0200) | ||
| committer | coquand <coquand@chalmers.se> | |
| Tue, 28 Apr 2015 11:37:09 +0000 (13:37 +0200) | ||
| commit | e65350d5d74e45317bee083d5161ef5ffa393113 | |
| tree | 10a2eee71186627cc4d665a0b0002b00ba49c23e | tree | snapshot |
| parent | 7a00fd0e55433730b18cfb6a02863d3d45e31f38 | commit | diff |
| examples/groupoidTrunc.ctt | [new file with mode: 0644] | blob |