README.md

Hindley - Milner in Java

Java implementation of Hindley Milner type inference algorithm for lambda calculus.

Compile

mvn clean compile assembly:single

Note:

Most of the implementation was done by Valentin Cocaud.