Add some documentation to the abi
[scheme.git] / typecheck.scm
2019-07-23 Luke LauAdd strings and print primitive
2019-07-23 Luke LauCodegen if statements
2019-07-22 Luke LauRefactor ast "pattern matching" to a single function
2019-07-22 Luke LauFix some normalization issues, add codegen tests
2019-07-21 Luke LauAdd pretty printing for types
2019-07-21 Luke LauAdd more binary ops
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 LauAdd let bindings
2019-07-17 Luke LauAdd consolidation, tie up with typechecker
2019-07-17 Luke LauStart typechecker