2019-07-22 | Luke Lau | Refactor ast "pattern matching" to a single function | blob | commitdiff | raw |
2019-07-22 | Luke Lau | Fix some normalization issues, add codegen tests | blob | commitdiff | raw | diff to current |
2019-07-21 | Luke Lau | Add pretty printing for types | blob | commitdiff | raw | diff to current |
2019-07-21 | Luke Lau | Add more binary ops | blob | commitdiff | raw | diff to current |
2019-07-20 | Luke Lau | Resolve types in lambda arguments, recursively substitute | blob | commitdiff | raw | diff to current |
2019-07-20 | Luke Lau | Normalize lambdas to be single arguments only | blob | commitdiff | raw | diff to current |
2019-07-17 | Luke Lau | Add let bindings | blob | commitdiff | raw | diff to current |
2019-07-17 | Luke Lau | Add consolidation, tie up with typechecker | blob | commitdiff | raw | diff to current |
2019-07-17 | Luke Lau | Start typechecker | blob | commitdiff | raw | diff to current |