The polyseq package

[ Tags: deprecated, language, library, program, public-domain ] [ Propose Tags ]
Deprecated. in favor of free-theorems-seq

Given a term, this program calculates a set of "optimal" free theorems that hold in a lambda calculus with selective strictness. It omits totality (in general, bottom-reflection) and other restrictions when possible. The underlying theory is described in the paper "Taming Selective Strictness" (ATPS'09) by Daniel Seidel and Janis Voigtländer.

[Skip to Readme]


Versions 0.1.1, 0.1.2,
Dependencies array (>=, base (>=1), bytestring (>=, cgi (>=3001.1.5.1), containers (>=, free-theorems (>=0.3.1), haskell-src (>=, mtl (>=, network (>=, old-locale (>=, old-time (>=, parsec (>=3.0.0), pretty (>=, syb (>=, utf8-string (>=, xhtml (>=3000.0.2.1) [details]
License PublicDomain
Author Daniel Seidel
Category Language
Uploaded Wed Mar 17 11:50:19 UTC 2010 by DanielSeidel
Distributions NixOS:
Executables polyseq.cgi
Downloads 1133 total (15 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-30 [all 7 reports]
Hackage Matrix CI


  • Language
    • Haskell
      • FreeTheorems
        • Variations
          • PolySeq
            • Parser
              • Language.Haskell.FreeTheorems.Variations.PolySeq.Parser.ParseTerm
            • Language.Haskell.FreeTheorems.Variations.PolySeq.PolySeq
            • Language.Haskell.FreeTheorems.Variations.PolySeq.PrettyPrint
            • Language.Haskell.FreeTheorems.Variations.PolySeq.TheoremGen
            • Language.Haskell.FreeTheorems.Variations.PolySeq.TypeTranslator


Maintainer's Corner

For package maintainers and hackage trustees

Readme for polyseq-0.1.2

[back to package description]
The module polyseq-0.1.2 can be installed the following way:

runhaskell Setup.hs configure --user
runhaskell Setup.hs build
runhaskell Setup.hs haddock
runhaskell Setup.hs install

runhaskell Setup.hs haddock builds the documentation.
This step is not necessary.

After installation the modules
are available.

To start the webinterface do

$ ./

then it runs under  http://localhost:8002/

The webinterface can also be found under



Most of the webinterface' code (./src/polyseq-cgi.hs) and the script
are written by 

Joachim Breitner <>.