projects / cubicaltt.git / commit
| author | Rafaël Bocquet <rafael.bocquet@ens.fr> | |
| Thu, 7 Jul 2016 15:33:06 +0000 (17:33 +0200) | ||
| committer | Rafaël Bocquet <rafael.bocquet@ens.fr> | |
| Thu, 7 Jul 2016 15:33:06 +0000 (17:33 +0200) | ||
| commit | aae6ae5bd321337450865f5802363f32c3fecdc1 | |
| tree | 3d0f63507e2e999326b2641c33432d08cb09a80e | tree | snapshot |
| parent | ff72653fb148315cb3f13465f1541aad8c5bf068 | commit | diff |
| examples/category.ctt | diff | blob | blame | history | |
| examples/csystem.ctt | diff | blob | blame | history | |
| examples/equiv.ctt | diff | blob | blame | history | |
| examples/prelude.ctt | diff | blob | blame | history |