| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
