Thanks for this! I worked on implementing a type-inference algorithm last week and I wish I had stumbled upon the chapter on unification[1] earlier. [0] - http

Thanks for this! I worked on implementing a type-inference algorithm last week and I wish I had stumbled upon the chapter on unification[1] earlier. [0] - https://github.com/prakhar1989/type-inference https://github.com/prakhar1989/type-inference [1] - http://www.scheme.com/tspl4/examples.html#./examples:h10 http://www.scheme.com/tspl4/examples.html#./examples:h10