The TypeIlluminator package

[Tags: bsd3, program]

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.


Properties

Version0.0
Dependenciesbase, haskell98
LicenseBSD3
AuthorOlaf Chitil
MaintainerOlaf Chitil <O.Chitil@kent.ac.uk>
CategoryCompilers/Interpreters
Home pagehttp://www.cs.kent.ac.uk/people/staff/oc/TypeIlluminator/
Executablestypeilluminator
Upload dateTue Feb 19 01:54:52 UTC 2008
Uploaded byGwernBranwen
Downloads161 total (17 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees