@hackage TypeIlluminator0.0
TypeIlluminator is a prototype tool exploring debugging of type errors/
Categories
License
BSD-3-Clause
Maintainer
Olaf Chitil <O.Chitil@kent.ac.uk>
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 0.0 Tue, 19 Feb 2008
Installation
Dependencies (0)
Dependents (1)
@hackage/acme-everything
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.