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.