Shell interface to the FreeTheorems library.

Latest on Hackage:

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


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.


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'.


Since this application is cabalised, it uses the standard installation

runhaskell Setup.lhs configure
runhaskell Setup.lhs build
runhaskell Setup.lhs install


Start the application by entering `ftshell'. Further information is
provided by the application itself.

Used by 1 package:
comments powered byDisqus