TinyML is an F# implementation of MetaLanguage's type inference system, albeit in a simplified form. This was a project assigned at the end of the course of Functional Languages at the University of Padova. The skeleton of the project was provided by the course's professor Alvise Spanò.
A live demo is available as a static web app.