2021-02-17 | Mart Lubbers | work on type inference some more develop master | blob | commitdiff | raw |
2021-02-15 | Mart Lubbers | start with type inference | blob | commitdiff | raw |
2021-02-09 | Mart Lubbers | framework for typechecking and code generation | blob | commitdiff | raw | diff to current |