The body of a function (or lambda) imposes type constraints on its parameters and ... This repository contains a minimal example of a Hindley–Milner type system implemented in Python. The example is ...