projects / cubicaltt.git / commit
| author | Anders Mörtberg <andersmortberg@gmail.com> | |
| Fri, 11 Aug 2017 17:28:50 +0000 (19:28 +0200) | ||
| committer | Anders Mörtberg <andersmortberg@gmail.com> | |
| Fri, 11 Aug 2017 17:28:50 +0000 (19:28 +0200) | ||
| commit | a331f1d355c5d2fc608a59c1cbbf016ea09d6deb | |
| tree | 727ca823eacd9f99f8cdd936c675f5368c41ce29 | tree | snapshot |
| parent | e1e158d2103f0b441ed27ad4b2c0c123d7d710d7 | commit | diff |
| Eval.hs | diff | blob | blame | history | |
| examples/bool.ctt | diff | blob | blame | history | |
| examples/category.ctt | diff | blob | blame | history | |
| examples/equiv.ctt | diff | blob | blame | history | |
| examples/idtypes.ctt | diff | blob | blame | history | |
| examples/subset.ctt | diff | blob | blame | history | |
| examples/torsor.ctt | diff | blob | blame | history | |
| examples/univalence.ctt | diff | blob | blame | history | |
| experiments/isoToEquiv.ctt | [moved from experiments/gradLemma.ctt with 96% similarity] | diff | blob | blame | history |
| experiments/testall.ctt | diff | blob | blame | history | |
| experiments/univalence.ctt | diff | blob | blame | history | |
| lectures/lecture4.ctt | diff | blob | blame | history |