ml-w-0.1.1: Minimal ML language to to demonstrate the W type infererence algorithm.

Portabilityportable (GHC, Hugs)
Stabilitystable
Maintainerf@mazzo.li
Safe HaskellSafe-Infered

Language.ML

Description

 

Documentation

module Language.ML.Syntax

module Language.ML.TypeCheck