Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Massive bunch of changes to track my massive refactoring to the typechecker | simonpj | 2011-01-12 | 1 | -7/+7 |
* | Follow error message changes with new typechecker | simonpj | 2010-11-12 | 1 | -3/+5 |
* | Cant unify under an implication | simonpj | 2010-09-07 | 1 | -0/+11 |