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!