name:                TypeIlluminator
version:             0.0
synopsis:            TypeIlluminator is a prototype tool exploring debugging of type errors/
description:         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.
category:            Compilers/Interpreters
license:             BSD3
license-file:        LICENSE
author:              Olaf Chitil
maintainer:          Olaf Chitil <O.Chitil@kent.ac.uk>
homepage:            http://www.cs.kent.ac.uk/people/staff/oc/TypeIlluminator/
build-depends:       base, haskell98
build-type:          Simple

executable:          typeilluminator
main-is:             TypeIlluminator.hs

ghc-options:         -O2 -Wall -optl-Wl,-s
ghc-prof-options:    -prof -auto-all