The latest version of free-theorems-webui is 0.2.1.1-0.
free-theorems-webui
Version 0.2 revision 0 uploaded by MatthiasBartsch.
Package meta
- Synopsis
- 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)
- Author
- Matthias Bartsch
- Bug reports
- n/a
- Category
- Language
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- bartsch@cs.uni-bonn.de
- Package URL
- n/a
- Stability
- n/a