GitHub repository: maeln/LambdaHindleyMilner
Primary language: Java
Created: 2016-10-06T14:31:52Z
Description: Java implementation of Hindley Milner type inference algorithm for lambda calculus.