@hackage ftshell0.3

Shell interface to the FreeTheorems library.

  • Categories

  • License

    LicenseRef-PublicDomain

  • Maintainer

    voigt@tcs.inf.tu-dresden.de

  • Links

  • Versions

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.