2019-07-21 | Luke Lau | Add pretty printing for types | commit | commitdiff | tree | snapshot |
2019-07-21 | Luke Lau | Add more binary ops | commit | commitdiff | tree | snapshot |
2019-07-20 | Luke Lau | Resolve types in lambda arguments, recursively substitute | commit | commitdiff | tree | snapshot |
2019-07-20 | Luke Lau | Normalize lambdas to be single arguments only | commit | commitdiff | tree | snapshot |
2019-07-17 | Luke Lau | Split out compiler into codegen and main | commit | commitdiff | tree | snapshot |
2019-07-17 | Luke Lau | Fix up codegen-add for vars | commit | commitdiff | tree | snapshot |
2019-07-17 | Luke Lau | Add let bindings | commit | commitdiff | tree | snapshot |
2019-07-17 | Luke Lau | Add .gitignore | commit | commitdiff | tree | snapshot |
2019-07-17 | Luke Lau | Add consolidation, tie up with typechecker | commit | commitdiff | tree | snapshot |
2019-07-17 | Luke Lau | Start typechecker | commit | commitdiff | tree | snapshot |