Extra minimal TypeScript implementation of Hindley-Milner type inference
| YouTube Channel | Ottie |
|---|---|
| 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. | 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. |
 |
 |