projects / cubicaltt.git / commit
| author | Anders Mörtberg <andersmortberg@gmail.com> | |
| Tue, 5 Jan 2016 09:21:54 +0000 (10:21 +0100) | ||
| committer | Anders Mörtberg <andersmortberg@gmail.com> | |
| Tue, 5 Jan 2016 09:21:54 +0000 (10:21 +0100) | ||
| commit | 9b57f22b8869e985305c197e541c293010b43a46 | |
| tree | d58072cf89411ab36d0baaf65507edb1eaecd931 | tree | snapshot |
| parent | cd55c739a1dfca99774af88a1f686adf1cb28af0 | commit | diff |
| examples/equiv.ctt | diff | blob | blame | history | |
| examples/prelude.ctt | diff | blob | blame | history | |
| examples/univalence.ctt | diff | blob | blame | history |