projects / cubicaltt.git / commit
| author | Anders Mörtberg <andersmortberg@gmail.com> | |
| Thu, 15 Sep 2016 17:31:47 +0000 (13:31 -0400) | ||
| committer | Anders Mörtberg <andersmortberg@gmail.com> | |
| Thu, 15 Sep 2016 17:31:47 +0000 (13:31 -0400) | ||
| commit | 16730466b6de68fd6b0261cf4539faebcf0f30d2 | |
| tree | efc41dce831091b124cb28abd33dfe4551bacae5 | tree | snapshot |
| parent | fd0e151a0df8defa7d15fe8c9f71bd332381db3e | commit | diff |
| experiments/univalence_dan.ctt | diff | blob | blame | history |