Readme for polyseq-0.1.2.1
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!