projects / cubicaltt-web.git / commit
| author | Rafaël Bocquet <rafael.bocquet@ens.fr> | |
| Fri, 8 Jul 2016 07:58:02 +0000 (09:58 +0200) | ||
| committer | Rafaël Bocquet <rafael.bocquet@ens.fr> | |
| Fri, 8 Jul 2016 07:58:02 +0000 (09:58 +0200) | ||
| commit | fab3ae660054bcc5e5e66e8a8267dd9969a52be8 | |
| tree | cd71c12c7fd3c1010a4dc1150ff35cb31f5ef334 | tree | snapshot |
| parent | 371e1dc0eb956858344091339d87d6e9c6b50efb | commit | diff |
| parent | 358233872b16c7b09a83e07c84f40880d3239171 | commit | diff |
| Eval.hs | diff1 | | diff2 | | blob | history |
| examples/category.ctt | diff1 | | diff2 | | blob | history |
| examples/csystem.ctt | diff1 | | diff2 | | blob | history |
| examples/equiv.ctt | diff1 | | diff2 | | blob | history |
| examples/prelude.ctt | diff1 | | diff2 | | blob | history |