Description
CGI-based web interface for the free-theorems package.
Description
This package provides access to the functionality of http://hackage.haskell.org/package/free-theorems through a web interface.
An online version can be seen at http://www-ps.iai.uni-bonn.de/ft/, where you can also find a more detailed description of the functionality.
There is also a shell based interface: http://hackage.haskell.org/package/ftshell.
The CGI binary is called "free-theorems-webui.cgi".
To start it locally for offline usage, just call "free-theorems-webui" after installation. (This needs python)