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), bytestring (≥0.9.1.4), cgi (≥3001.1.7.1), csv (≥0.1.1), dataenc, directory (≥1.2.0.0), filepath (≥1.3.0.0), free-theorems (≥0.3.1.3 & <0.4), process (≥1.1.0.0), time (≥1.1.4), xhtml (≥3000) |
| License | PublicDomain |
| Author | Matthias Bartsch |
| Maintainer | bartsch@cs.uni-bonn.de |
| Category | Language |
| Executables | free-theorems-webui, free-theorems-webui.cgi |
| Upload date | Mon Feb 18 09:50:04 UTC 2013 |
| Uploaded by | DanielSeidel |
Downloads
- free-theorems-webui-0.2.1.1.tar.gz (Cabal source package)
- package description (included in the package)