This repo contains the code from the blog post "Simple Hindley-Milner in Practice", which walks through building a lightweight Hindley–Milner type checker in Haskell.
📖 Read the full post here.
📄 Also available as a PDF.
andrevdm/hmLispTypeSystem
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|