projects / cubicaltt.git / commit
| author | Anders Mörtberg <andersmortberg@gmail.com> | |
| Thu, 19 Apr 2018 14:47:39 +0000 (10:47 -0400) | ||
| committer | Anders Mörtberg <andersmortberg@gmail.com> | |
| Thu, 19 Apr 2018 14:47:39 +0000 (10:47 -0400) | ||
| commit | a7d01e2dc0a231d60de9dea07f616ba29c284eab | |
| tree | 22fceb063326c6a620b4ee7123bd9fd8416f54bc | tree | snapshot |
| parent | f13541bb0684237fbf4f661c5f68363c591997f3 | commit | diff |
| examples/univalence.ctt | diff | blob | blame | history |