DESCRIPTION
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.
DEPENDENCIES
See the file `ftshell.cabal' for dependencies. The dependency on
Shellac-readline may be dropped which needs small changes in the
file `src/Settings.hs'.
INSTALL
Since this application is cabalised, it uses the standard installation
process.
runhaskell Setup.lhs configure
runhaskell Setup.lhs build
runhaskell Setup.lhs install
USAGE
Start the application by entering `ftshell'. Further information is
provided by the application itself.