@hackage / ml-w

Minimal ML language to to demonstrate the W type infererence algorithm.

Latest0.1.1

Dependencies

library:ml-w (4 dependencies)

@hackage / base Core data structures and operations
- Version: <5
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@hackage / parsec Monadic parser combinators
- Version:
- License: BSD-2-Clause
@hackage / pretty Pretty-printing library
- Version:
- License: BSD-3-Clause

executable:ML (4 dependencies)