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