@hackage / hindley-milner-type-check

Type inference for Hindley-Milner based languages

Latest0.1.1.0

Dependencies

library:hindley-milner-type-check (9 dependencies)

@hackage / deriving-compat Backports of GHC deriving extensions
- Version:
- License: BSD-3-Clause
@hackage / dlist Difference lists
- Version:
- License: BSD-3-Clause
@hackage / deepseq Deep evaluation of data structures
- Version: >=1.4
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5
- License: BSD-3-Clause
@hackage / prettyprinter A modern, easy to use, well-documented, extensible pretty-printer.
- Version:
- License: BSD-2-Clause
@hackage / text An efficient packed Unicode text type.
- Version:
- License: BSD-2-Clause
@hackage / data-fix Fixpoint data types
- Version: >=0.3
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.8 && <5
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause

test:hindley-milner-type-check-tests (8 dependencies)