The free-theorems-seq-webui package

This package provides access to the functionality of http://hackage.haskell.org/package/free-theorems-seq through a web interface.

An online version of the interface is running at http://www-ps.iai.uni-bonn.de/cgi-bin/polyseq.cgi.

Properties

Versions	1.0, 1.0.0.1, 1.0.0.2
Dependencies	base (≥1 & <4), cgi (≥3001.1.5.1), containers (≥0.1.0.1), free-theorems-seq (1.), mtl (≥1.1.0.0), network (≥2.1.0.0), pretty (1.), utf8-string (≥0.3.1.1), xhtml (≥3000.0.2.1) or base (≥4), cgi (≥3001.1.5.1), containers (≥0.1.0.1), free-theorems-seq (1.), mtl (≥1.1.0.0), network (≥2.1.0.0), pretty (1.), syb (≥0.1.0.0), utf8-string (≥0.3.1.1), xhtml (≥3000.0.2.1)
License	PublicDomain
Author	Daniel Seidel
Maintainer	ds@iai.uni-bonn.de
Category	Language
Executables	free-theorems-seq-webui.cgi
Upload date	Wed Mar 30 22:56:48 UTC 2011
Uploaded by	DanielSeidel