homepage: ''
changelog-type: ''
hash: 7981cce58d1ab446831e34b922b6408e2d5743c18f0c495368f4f1ad318aeb44
test-bench-deps:
  data-fix: '>=0.3'
  base: '>=4.9 && <5'
  text: -any
  containers: -any
  tasty-hunit: -any
  prettyprinter: -any
  tasty: -any
  hindley-milner-type-check: -any
maintainer: anton.kholomiov@gmail.com
synopsis: Type inference for Hindley-Milner based languages
changelog: ''
basic-deps:
  data-fix: '>=0.3'
  base: '>=4.8 && <5'
  deriving-compat: -any
  text: -any
  dlist: -any
  containers: '>=0.5'
  mtl: -any
  prettyprinter: -any
  deepseq: '>=1.4'
all-versions:
- 0.1.0.0
author: Anton Kholomiov, Aleksey Khudyakov
latest: 0.1.0.0
description-type: haddock
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.
license-name: MIT

Update from Hackage at 2021-06-05T15:33:33Z
Update from Hackage at 2021-06-05T15:33:33Z
