projects / cubicaltt.git / commit
| author | Thierry Coquand <coquand@cse-3325317.local> | |
| Fri, 8 Apr 2016 07:09:00 +0000 (09:09 +0200) | ||
| committer | Thierry Coquand <coquand@cse-3325317.local> | |
| Fri, 8 Apr 2016 07:09:00 +0000 (09:09 +0200) | ||
| commit | 0df2b3c7885028dd58623e2c9dd792629eab1894 | |
| tree | 67e8f9c369786389cfcc02b4cc36ad0a5ed74842 | tree | snapshot |
| parent | ed54ac4557d492c729f36abc00c763dbd0f269a9 | commit | diff |
| examples/prelude.ctt | diff | blob | blame | history |