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 ...

The goal of snitch is to be a simple, cheap, non-invasive, and user-friendly testing framework. The design philosophy is to keep the testing API lean, including only what is strictly necessary to ...