@hackage / hindley-milner-type-check

Type inference for Hindley-Milner based languages

Latest0.1.1.0

About

Metadata

  • Last updated , by AntonKholomiov
  • License MIT

  • Maintained by: anton.kholomiov@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

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.