projects / cubicaltt-web.git / commit
| author | Simon Huber <hubsim@gmail.com> | |
| Wed, 16 Dec 2015 11:30:48 +0000 (12:30 +0100) | ||
| committer | Simon Huber <hubsim@gmail.com> | |
| Wed, 16 Dec 2015 11:30:48 +0000 (12:30 +0100) | ||
| commit | ba3406ae07c360ece6409b56e72f2f03eaac49ec | |
| tree | fe6be00b624bb2ebbce63f670681645b1bb05655 | tree | snapshot |
| parent | 7b6927e75468fab90b839beae24466fda7177cf4 | commit | diff |
| Eval.hs | diff | blob | history | |
| TypeChecker.hs | diff | blob | history | |
| examples/prelude.ctt | diff | blob | history |