free-theorems-seq-webui

Taming Selective Strictness

Latest on Hackage:1.0.0.2

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 Daniel Seidel
Maintained by ds@iai.uni-bonn.de
The module free-theorems-seq-webui-1.0.0.2 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

$ ./test.sh

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

An online version of the webinterface is also found under

http://www-ps.iai.uni-bonn.de/cgi-bin/polyseq.cgi

Enjoy.



Acknowledgements.
=================

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

Joachim Breitner <mail@joachim-breitner.de>.

Thanks!
comments powered byDisqus