@hackage ftshell0.3.0.1
Shell interface to the FreeTheorems library.
Categories
License
LicenseRef-PublicDomain
Maintainer
voigt@tcs.inf.tu-dresden.de
Links
- Documentation
- No source repository
- Security
Versions
Installation
Dependencies (0)
- Shellac >=0.9
- Shellac-readline >=0.9
- base >=1.0 && <4
- containers >=0.1.0.1
- free-theorems >=0.3.1.3 && <0.4
- mtl >=1.0 Show all…
Dependents (1)
@hackage/acme-everything
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.