free-theorems-seq-1.0: README

The module free-theorems-seq-0.1 can be installed via

cabal install

or 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
        Language.Haskell.FreeTheorems.Variations.PolySeq.Highlight
are available.

The functionality of the library is also available via a webinterface
that is either available via the package at

http://hackage.haskell.org/package/free-theorems-seq-webui

or can be used online at

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

Enjoy.