Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2017-11-06 | Parse and typecheck function calls | David Li | 1 | -0/+1 | |
2017-11-06 | License under MPL 2.0 | David Li | 1 | -0/+5 | |
2017-11-06 | Reimplement checking of variable bindings | David Li | 1 | -1/+17 | |
2017-11-05 | Check types in bindings, unary operators | David Li | 1 | -1/+1 | |
2017-11-05 | Add stubbed out type checker | David Li | 1 | -0/+7 | |