In Part 2, we finished defining all the formal terms and symbols you see in the StackOverflow question on the Hindley-Milner algorithm, so now we’re ready to translate what that question was asking about, namely the rules for deducing statements about type inference. Let’s get down to it!
The rules for deducing statements about type inference
Read on at my blog (since these blogs don’t support MathJax) →
