Taming Selective Strictness

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 to host generated Haddocks.

PublicDomain licensed by Daniel Seidel
Maintained by
The module free-theorems-seq-webui- provides the binary free-theorems-seq-webui.cgi.

Installation can either be done with cabal (configure/build/install) or
runhaskell Setup.hs configure --user
runhaskell Setup.hs build
runhaskell Setup.hs install

It is recommended to produce only a local build
and start the webinterface (using the local build) with

$ ./

then it runs under http://localhost:8002/

An online version of the webinterface is also found under



Most of the webinterface' code (./src/free-theorems-seq-webui.hs) and the script
are written by

Joachim Breitner <>.

Used by 1 package:
comments powered byDisqus