@hackage free-theorems-seq-webui1.0

Taming Selective Strictness

Categories
License
LicenseRef-PublicDomain
Maintainer
ds@iai.uni-bonn.de
Links
- Documentation
- No source repository
- Security
Versions
- 1.0.0.2 Wed, 30 Mar 2011
- 1.0.0.1 Tue, 15 Mar 2011
- 1.0 Fri, 11 Mar 2011

Installation
In your cabal file:
Dependencies (0)
- base >=1 && <4
- containers >=0.1.0.1
- mtl >=1.1.0.0
- cgi >=3001.1.5.1
- free-theorems-seq >=0.1 && <0.2
- network >=2.1.0.0
Dependents (1)
@hackage/acme-everything

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.