The polyseq package

[Tags: deprecated, library, program, public-domain]

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]

Properties

Versions0.1.1, 0.1.2, 0.1.2.1
Change logNone available
Dependenciesarray (>=0.1.0.0), base (>=1), bytestring (>=0.9.0.1), cgi (>=3001.1.5.1), containers (>=0.1.0.1), free-theorems (>=0.3.1), haskell-src (>=1.0.1.1), mtl (>=1.1.0.0), network (>=2.1.0.0), old-locale (>=1.0.0.0), old-time (>=1.0.0.0), parsec (>=3.0.0), pretty (>=1.0.0.0), syb (>=0.1.0.0), utf8-string (>=0.3.1.1), xhtml (>=3000.0.2.1) [details]
LicensePublicDomain
AuthorDaniel Seidel
Maintainerds@iai.uni-bonn.de
CategoryLanguage
Executablespolyseq.cgi
UploadedWed Mar 17 11:50:19 UTC 2010 by DanielSeidel
DistributionsNixOS:0.1.2.1
Downloads457 total (28 in last 30 days)
Votes
0 []
StatusDocs not available [build log]
All reported builds failed as of 2015-06-07 [all 2 reports]

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees

Readme for polyseq-0.1.2

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
        Language.Haskell.FreeTheorems.Variations.PolySeq.PolySeq
        Language.Haskell.FreeTheorems.Variations.PolySeq.PrettyPrint
        Language.Haskell.FreeTheorems.Variations.PolySeq.TypeTranslator
        Language.Haskell.FreeTheorems.Variations.PolySeq.TheoremGen
        Language.Haskell.FreeTheorems.Variations.PolySeq.Parser.ParseTerm
are available.

To start the webinterface do

$ ./test.sh

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

The webinterface can also be found under

http://www-ps.iai.uni-bonn.de/cgi-bin/polyseq.cgi

Enjoy.



Acknowledgements.
=================

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

Joachim Breitner <mail@joachim-breitner.de>.

Thanks!