This application is a shell-based user interface to the free-theorems
library. It allows to generate free theorems for nearly any Haskell
type expression including user-defined data types and type classes.
See the description of the free-theorems library for the restrictions.
See the file `ftshell.cabal' for dependencies. The dependency on
Shellac-readline may be dropped which needs small changes in the
Since this application is cabalised, it uses the standard installation
runhaskell Setup.lhs configure
runhaskell Setup.lhs build
runhaskell Setup.lhs install
Start the application by entering `ftshell'. Further information is
provided by the application itself.