Hindley-Milner Type Inference implemented in (although not for) Python.
Primary LanguagePythonMIT LicenseMIT