projects / cubicaltt.git / commit
| author | Anders Mörtberg <andersmortberg@gmail.com> | |
| Thu, 7 Jul 2016 11:38:21 +0000 (13:38 +0200) | ||
| committer | Anders Mörtberg <andersmortberg@gmail.com> | |
| Thu, 7 Jul 2016 11:38:21 +0000 (13:38 +0200) | ||
| commit | 8518b6c00b42e5b5548de5b13f19189a8fb082f2 | |
| tree | 84f4028924dae44fd9d9069c368f9162adcd9f4d | tree | snapshot |
| parent | 5aacc93f175347737e543449de30a311ef7e412a | commit | diff |
| examples/groupoidTrunc.ctt | diff | blob | blame | history |