@hackage free-theorems-seq1.0

Taming Selective Strictness

  • Categories

    • License

      LicenseRef-PublicDomain

    • Maintainer

      ds@iai.uni-bonn.de

    • Links

    • Versions

      • 1.0 Fri, 11 Mar 2011

    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.