projects / cubicaltt.git / commit
| author | coquand <coquand@chalmers.se> | |
| Wed, 29 Apr 2015 07:50:57 +0000 (09:50 +0200) | ||
| committer | coquand <coquand@chalmers.se> | |
| Wed, 29 Apr 2015 07:50:57 +0000 (09:50 +0200) | ||
| commit | 48b40fcc053d14fd63d204083eef6b062a14b609 | |
| tree | 27088c29c9220b632cf3257b61441d4eaf694cfe | tree | snapshot |
| parent | 067cdbd1b95ac6968bd08e5dc48ff2a93619981d | commit | diff |
| examples/groupoidTrunc.ctt | diff | blob | blame | history |