Minimal ML language to to demonstrate the W type infererence algorithm.
|Latest on Hackage:||0.1.1|
This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
This package implements a minimal ML-like language to demonstrate how the W algorithm works.
ML module contains the definition of the language in the form of an
Haskell data type, plus functions to parse files and pretty print the
TypeInfer module contains the W algorithm itself.
Main module contains a program that parses and typechecks programs
reading from standard input.
The library and executable is compatible with GHC and Hugs (to use Hugs
with cabal use the flag