The latest version of hindley-milner-type-check is 0.1.1.0-0.
hindley-milner-type-check
Version 0.1.0.0 revision 0 uploaded by AntonKholomiov.
Package meta
- Synopsis
- Type inference for Hindley-Milner based languages
- Description
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.
- Author
- Anton Kholomiov, Aleksey Khudyakov
- Bug reports
- n/a
- Category
- Language
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- anton.kholomiov@gmail.com
- Package URL
- n/a
- Stability
- n/a