| Age | Commit message (Expand) | Author |
|---|---|---|
| 2011-12-02 | The typechecker is still unfinished but at least it can typecheck the English... | kr.angelov |
| 2011-11-30 | Hopefully complete Value type and a little bit more on computations. | kr.angelov |
| 2011-11-30 | more stuff in the new type checker | kr.angelov |
| 2011-11-29 | Sketch of the new type checker for the concrete syntax. Enabled only with -ne... | kr.angelov |
