From 9d2e5918af3e9232627475b7c5cadcd882a39308 Mon Sep 17 00:00:00 2001 From: greg Date: Wed, 8 May 2019 16:24:13 -0700 Subject: [PATCH] Add some more hindley-milner-relatd blogs to README --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 4ba9bd0..df02fc8 100644 --- a/README.md +++ b/README.md @@ -68,6 +68,8 @@ https://rust-lang-nursery.github.io/rustc-guide/type-inference.html https://eli.thegreenplace.net/2018/unification/ https://eli.thegreenplace.net/2018/type-inference/ http://smallcultfollowing.com/babysteps/blog/2017/03/25/unification-in-chalk-part-1/ +http://reasonableapproximation.net/2019/05/05/hindley-milner.html +https://rickyhan.com/jekyll/update/2018/05/26/hindley-milner-tutorial-rust.html ### Evaluation *Understanding Computation*, Tom Stuart, O'Reilly 2013