@hackage free-theorems-seq1.0

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.