Implementing type inference from scratch

Implementing type inference from scratch

A step-by-step guide to implementing type inference from scratch in a functional programming language.

Currently not translated into plain English.