projects / cubicaltt-web.git / commit
| author | Anders Mörtberg <andersmortberg@gmail.com> | |
| Mon, 20 Nov 2017 23:42:11 +0000 (18:42 -0500) | ||
| committer | Anders Mörtberg <andersmortberg@gmail.com> | |
| Mon, 20 Nov 2017 23:42:11 +0000 (18:42 -0500) | ||
| commit | 7a6d2ea8ff1d1ad168a837e4c6ee87fb9ae234d3 | |
| tree | e4ed86291184fe8152e19e43c6ed11e9b68c7e62 | tree | snapshot |
| parent | d7751c7bccdd8b79b0b0d985e1aa49886553bb47 | commit | diff |
| examples/equiv.ctt | diff | blob | history | |
| examples/univalence.ctt | diff | blob | history |