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