Hindley–Milner type inference implemented in Python.
Primary LanguagePythonApache License 2.0Apache-2.0