projects / cubicaltt.git / commit
| author | Anders Mörtberg <andersmortberg@gmail.com> | |
| Thu, 7 Jul 2016 11:32:35 +0000 (13:32 +0200) | ||
| committer | Anders Mörtberg <andersmortberg@gmail.com> | |
| Thu, 7 Jul 2016 11:32:35 +0000 (13:32 +0200) | ||
| commit | 098a24249fe86fad5e9e3d8cba4f3ec55b5d9374 | |
| tree | e8be7a19c9efa9ee86d912885eaa2519f61631c8 | tree | snapshot |
| parent | f04d61385b466d48a979b53eb9f63b3c666f217c | commit | diff |
| examples/collection.ctt | diff | blob | blame | history | |
| examples/equiv.ctt | diff | blob | blame | history | |
| examples/prelude.ctt | diff | blob | blame | history | |
| examples/sigma.ctt | diff | blob | blame | history | |
| examples/univalence.ctt | diff | blob | blame | history |