Add notes on typechecking
authorLuke Lau <luke_lau@icloud.com>
Tue, 30 Jul 2019 21:25:31 +0000 (22:25 +0100)
committerLuke Lau <luke_lau@icloud.com>
Tue, 30 Jul 2019 21:25:31 +0000 (22:25 +0100)
commit05682b323f3365dba3f7f0192016f1d05152b418
tree46a21eb0baad6406c0989c97cfdcfe1e4da9ec4a
parentab0b66e68a85e8e71442ee70a81c16d04e66145d
Add notes on typechecking
typecheck.md [new file with mode: 0644]