@hackage / free-theorems-webui

CGI-based web interface for the free-theorems package.

Latest0.2.1.1

About

Metadata

  • Last updated , by DanielSeidel
  • License LicenseRef-PublicDomain

  • Maintained by: bartsch@cs.uni-bonn.de

  • Lottery factor: 0

Links

Installation

Package Flags

Use the -f option with cabal commands to enable flags

    our_server (off by default)

    Use the path configuration from "our_server_config/" instead of "default_config/".

    After compilation, the application will only work with the folder layout on our server.

    See "our_server_config/Paths.hs" for details.

Readme

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)