Minimal TypeScript implementation of Hindley-Milner type inference

Also see:

• Related YouTube channel: A YouTube channel covering Hindley-Milner from first principles, intended to be accessible for people not already very familiar with functional languages or type theory.
• Ottie: A fuller implementation of Hindley-Milner type inference, on a richer language, combined with a web interface that makes inspecting what it's doing easier.