@hackage ftshell0.3.0.1

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.