Simples Hindley-Milner Type Checker 7/22/2025
This spring I came across a few small scripts implementing a small Hindley-Milner type checker.
https://github.com/ashermancinelli/hmpy
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help
This spring I came across a few small scripts implementing a small Hindley-Milner type checker.
https://github.com/ashermancinelli/hmpy