A minimal Python implementation of Hindley-Milner type inferencegithub.com/ethe2 pointsethegwo2 years ago