2018-09-16 | WIP type-checking -- check recursive type defs | blob | commitdiff | raw | |
2018-09-13 | WIP type-checking -- check array subscript access | blob | commitdiff | raw | diff to current | |
2018-09-13 | WIP type-checking | blob | commitdiff | raw | diff to current | |
2018-09-13 | Define the environments (for types and values) | blob | commitdiff | raw | diff to current | |