@hackage / TypeIlluminator

TypeIlluminator is a prototype tool exploring debugging of type errors/

Latest0.0

About

Metadata

  • Last updated , by GwernBranwen
  • License BSD-3-Clause
  • Categories Compilers and Interpreters

  • Maintained by: Olaf Chitil <O.Chitil@kent.ac.uk>

  • Lottery factor: 0

Links

Installation

Readme

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.