From 14fc2a5d1077af143e0bffd9989daf96aaaf953a Mon Sep 17 00:00:00 2001 From: greg Date: Mon, 29 Apr 2019 23:57:59 -0700 Subject: [PATCH] Update TODO --- TODO.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/TODO.md b/TODO.md index 407456a..e94ed13 100644 --- a/TODO.md +++ b/TODO.md @@ -2,6 +2,8 @@ ## Typechecking +- look at https://rickyhan.com/jekyll/update/2018/05/26/hindley-milner-tutorial-rust.html + - cf. the notation mentioned in the cardelli paper, the debug information for the `typechecking` pass should print the generated type variable for every subexpression in an expression