projects / cubicaltt.git / commit
| author | Anders Mörtberg <andersmortberg@gmail.com> | |
| Wed, 25 Apr 2018 03:59:00 +0000 (23:59 -0400) | ||
| committer | Anders Mörtberg <andersmortberg@gmail.com> | |
| Wed, 25 Apr 2018 03:59:00 +0000 (23:59 -0400) | ||
| commit | 850be44c02a872f973c94ab28fe9830c6500db4e | |
| tree | a8d4b07a68b6aa834aa2c507c8c04b48e712f469 | tree | snapshot |
| parent | a7d01e2dc0a231d60de9dea07f616ba29c284eab | commit | diff |
| examples/univalence.ctt | diff | blob | blame | history |