Merge branch 'master' of lukelau.me:/srv/git/scheme
[scheme.git] / typecheck.md
2019-07-30 Luke LauAdd notes on typechecking