projects / cubicaltt-web.git / commit
| author | Anders Mörtberg <andersmortberg@gmail.com> | |
| Mon, 4 Jan 2016 19:03:31 +0000 (20:03 +0100) | ||
| committer | Anders Mörtberg <andersmortberg@gmail.com> | |
| Mon, 4 Jan 2016 19:03:31 +0000 (20:03 +0100) | ||
| commit | e881315eac6d0f0deb101df246eccafb6c6d8e3c | |
| tree | f9524cb094c34d1a23b5c32234a891ab499ec7c8 | tree | snapshot |
| parent | cf484ebee67f773b3cef8ccaab361d773016a711 | commit | diff |
| examples/univalence.ctt | diff | blob | history |