The Haskell Type Browser

The Haskell Type Browser visualizes the information present in a Haskell type derivation. As a special feature, the type browser constructs a type derivation for every syntactically correct Haskell program even if the program would be rejected by the compiler's type inferencer.

Features

Demos

Demos

Soon here...
Peter Thiemann
Last modified: Sat Dec 11 22:17:34 CET 2004