Simple Hindley-Milner in Practice (2025)

4 points by abhin4v