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
Change logNone available
Dependenciesbase, haskell98 [details]
LicenseBSD3
AuthorOlaf Chitil
MaintainerOlaf Chitil <O.Chitil@kent.ac.uk>
CategoryCompilers/Interpreters
Home pagehttp://www.cs.kent.ac.uk/people/staff/oc/TypeIlluminator/
Executablestypeilluminator
UploadedTue Feb 19 01:54:52 UTC 2008 by GwernBranwen
Downloads320 total (19 in last 30 days)
Votes
0 []
StatusDocs not available [build log]
All reported builds failed as of 2015-05-18 [all 2 reports]

Downloads

Maintainers' corner

For package maintainers and hackage trustees