Description
Taming Selective Strictness.
Description
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.