Java implementation of Hindley Milner type inference algorithm for lambda calculus.
mvn clean compile assembly:single
Most of the implementation was done by Valentin Cocaud.
maeln/LambdaHindleyMilner
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Java implementation of Hindley Milner type inference algorithm for lambda calculus.
mvn clean compile assembly:single
Most of the implementation was done by Valentin Cocaud.