Record type inference for dummies

Link: Record type inference for dummies

An explanation of how a simple record type inference system works, implemented in Haskell. Uses big step notation to describe the type inference rules.