projects / cubicaltt.git / commit
| author | Anders Mörtberg <andersmortberg@gmail.com> | |
| Thu, 7 Jul 2016 14:03:02 +0000 (16:03 +0200) | ||
| committer | Anders Mörtberg <andersmortberg@gmail.com> | |
| Thu, 7 Jul 2016 14:03:02 +0000 (16:03 +0200) | ||
| commit | 26a03d760275690cac1e79451f892a7e36e68eb7 | |
| tree | 874cb9c8f1a2367f18f82b27c83c098b93f3ded0 | tree | snapshot |
| parent | d8629792be271c01e44e9d87bb050811f0ff179a | commit | diff |
| Exp.cf | diff | blob | blame | history | |
| examples/aim.ctt | diff | blob | blame | history | |
| examples/bool.ctt | diff | blob | blame | history | |
| examples/demo.ctt | diff | blob | blame | history | |
| examples/equiv.ctt | diff | blob | blame | history | |
| examples/univalence.ctt | diff | blob | blame | history |