A mini ML implementation with Hindley-Milner-Damas type inference. Hindley-Milner-Damas is type inference algorithm for a restricted System-F / Polymorphic Lambda Calculus. The language has Lambdas, Let-Bindings(with parametric polymorphism), Pairs etc.
archanpatkar / hml Goto Github PK
View Code? Open in Web Editor NEWA mini ML with Hindley-Milner type inference
License: MIT License