projects / cubicaltt.git / commit
| author | Anders Mörtberg <andersmortberg@gmail.com> | |
| Wed, 14 Sep 2016 20:48:21 +0000 (16:48 -0400) | ||
| committer | Anders Mörtberg <andersmortberg@gmail.com> | |
| Wed, 14 Sep 2016 20:48:21 +0000 (16:48 -0400) | ||
| commit | d252d4c27f1f75b80bad73c69d1b6c592448bce2 | |
| tree | 0febb328a7b189ab8c5f5b6c7042075d700f1eca | tree | snapshot |
| parent | cdf88159a26e2e4b73f9fea0c88a6e1d16497218 | commit | diff |
| experiments/univalence_dan.ctt | [new file with mode: 0644] | blob |