free-theorems-seq

Taming Selective Strictness

Latest on Hackage:1.0

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

PublicDomain licensed by Daniel Seidel
Maintained by ds@iai.uni-bonn.de
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.

comments powered byDisqus