The free-theorems-webui package
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)
Properties
| Versions | 0.1, 0.2, 0.2.0.1, 0.2.1.0, 0.2.1.1 |
|---|---|
| Dependencies | base (≥3.0.3.1 & <5), base64-string (≥0.2), bytestring (≥0.9.1.4), cgi (≥3001.1.7.1), csv (≥0.1.1), directory (≥1.0.0.2), filepath (≥1.1.0.1), free-theorems (≥0.3.1.2), haskell98, time (≥1.1.4), xhtml (≥3000) |
| License | PublicDomain |
| Maintainer | bartsch@cs.uni-bonn.de |
| Category | Language |
| Executables | free-theorems-webui, free-theorems-webui.cgi |
| Upload date | Thu Jul 1 20:33:58 UTC 2010 |
| Uploaded by | MatthiasBartsch |
Downloads
- free-theorems-webui-0.1.tar.gz (Cabal source package)
- package description (included in the package)