scheme.git
2019-07-20 Luke LauResolve types in lambda arguments, recursively substitute
2019-07-20 Luke LauNormalize lambdas to be single arguments only
2019-07-17 Luke LauSplit out compiler into codegen and main
2019-07-17 Luke LauFix up codegen-add for vars
2019-07-17 Luke LauAdd let bindings
2019-07-17 Luke LauAdd .gitignore
2019-07-17 Luke LauAdd consolidation, tie up with typechecker
2019-07-17 Luke LauStart typechecker