hindley-milner-type-check

Type inference for Hindley-Milner based languages.

This package contains an implemention of Hindley-Milner inference algorithm. It supports reporting of source code locations for errors. Language for type inference is labda-calculus augmented with primitive functions, let-expressions, case-expressions and bottom. See github repo for tutorial and test-cases for examples.