| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-12-14 | More work on the new partial evaluator | hallgren |
| 2012-12-11 | partial evaluator work | hallgren |
| 2012-12-10 | Compute.ConcreteNew: add missing case for variant functions | hallgren |
| 2012-12-06 | Compute.ConcreteNew: bug fix for indirectly defined pattern macros | hallgren |
| 2012-11-16 | new-comp: rewrite f (x|y) into (f x|f y) | hallgren |
| 2012-11-13 | Adding a new experimental partial evalutator | hallgren |
| 2012-10-24 | Compute.ConcreteNew: support variants | hallgren |
| 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 |
