@hackage / AlgorithmW

Example implementation of Algorithm W for Hindley-Milner type inference.

Latest0.1.1.0

Dependencies

executable:AlgorithmW (4 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.5 && <4.9
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.1 && <2.3
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.4 && <0.6
- License: BSD-3-Clause
@hackage / pretty Pretty-printing library
- Version: >=1.1 && <1.2
- License: BSD-3-Clause