ftshell

Shell interface to the FreeTheorems library.

Latest on Hackage:0.3.0.1

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

PublicDomain licensed by Sascha Boehme

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.


comments powered byDisqus