projects / cubicaltt.git / commit
| author | Anders Mörtberg <andersmortberg@gmail.com> | |
| Thu, 15 Sep 2016 16:56:15 +0000 (12:56 -0400) | ||
| committer | Anders Mörtberg <andersmortberg@gmail.com> | |
| Thu, 15 Sep 2016 16:56:15 +0000 (12:56 -0400) | ||
| commit | fd0e151a0df8defa7d15fe8c9f71bd332381db3e | |
| tree | 871123f68646ca822d89f6144ce100644d411000 | tree | snapshot |
| parent | 19ede3bd900312cdad624e818fbddc8a5926cf71 | commit | diff |
| experiments/univalence_dan.ctt | diff | blob | blame | history |