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.