Extra 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.