From 866c9211f9308ddbb68ef64c59f782aaefe6575d Mon Sep 17 00:00:00 2001 From: greg Date: Mon, 18 Feb 2019 23:49:34 -0800 Subject: [PATCH] Add resources to README --- README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/README.md b/README.md index 7029bc0..8c720af 100644 --- a/README.md +++ b/README.md @@ -62,6 +62,10 @@ https://www.youtube.com/watch?v=il3gD7XMdmA http://dev.stephendiehl.com/fun/006_hindley_milner.html 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/ + ### Evaluation *Understanding Computation*, Tom Stuart, O'Reilly 2013