TypeIlluminator

TypeIlluminator is a prototype tool exploring debugging of type errors/

http://www.cs.kent.ac.uk/people/staff/oc/TypeIlluminator/

Latest on Hackage:0.0

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.

BSD-3-Clause licensed by Olaf Chitil
Maintained by Olaf Chitil

TypeIlluminator is a prototype tool implementing the ideas presented in the paper Compositional Explanation of Types and Algorithmic Debugging of Type Errors. It constructs the type explanation graph for programs written in a simple Haskell-like language and enables free navigation through the graph in various ways and algorithmic debugging.