projects / cubicaltt.git / commit
| author | Anders Mörtberg <andersmortberg@gmail.com> | |
| Tue, 26 Jul 2016 15:18:54 +0000 (17:18 +0200) | ||
| committer | Anders Mörtberg <andersmortberg@gmail.com> | |
| Fri, 29 Jul 2016 09:46:35 +0000 (11:46 +0200) | ||
| commit | 2042669361bd5384232aabfcf2d0ce5ecb659a3e | |
| tree | 6913e8006620ebbbaee981f9c20f541320f68c1f | tree | snapshot |
| parent | 0792d7900ab6713851c8d80576d1fdecde9189c5 | commit | diff |
| CTT.hs | diff | blob | blame | history | |
| examples/idtypes.ctt | [moved from examples/eq.ctt with 58% similarity] | diff | blob | blame | history |