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