projects / cubicaltt.git / commit
| author | Anders Mörtberg <andersmortberg@gmail.com> | |
| Fri, 21 Oct 2016 19:07:30 +0000 (15:07 -0400) | ||
| committer | Anders Mörtberg <andersmortberg@gmail.com> | |
| Fri, 21 Oct 2016 19:07:30 +0000 (15:07 -0400) | ||
| commit | 866126c97dee44dc36bb2f72864f42302a93664c | |
| tree | 4fa899e6f14250184756865908658de90171122a | tree | snapshot |
| parent | a80035aa46160218073435d9182de62d30dea646 | commit | diff |
| examples/equiv.ctt | diff | blob | blame | history | |
| examples/univalence.ctt | diff | blob | blame | history |