lib:free-theorems-seq

Modules

• Language.Haskell.FreeTheorems.Variations.PolySeq.Highlight
• Language.Haskell.FreeTheorems.Variations.PolySeq.Parser.ParseTerm
• Language.Haskell.FreeTheorems.Variations.PolySeq.PolySeq
• Language.Haskell.FreeTheorems.Variations.PolySeq.PrettyPrint
• Language.Haskell.FreeTheorems.Variations.PolySeq.TheoremGen
• Language.Haskell.FreeTheorems.Variations.PolySeq.TypeTranslator

Dependencies

• array lib:array >=0 && <1
• base lib:base (>=1 && <4) && >=4
• bytestring lib:bytestring >=0.9.0.1
• containers lib:containers >=0.1.0.1
• free-theorems lib:free-theorems >=0.3.1 && <0.4
• haskell-src lib:haskell-src >=1.0.1.1
• mtl lib:mtl >=1.1.0.0
• old-locale lib:old-locale >=1 && <2
• old-time lib:old-time >=1 && <2
• parsec lib:parsec >=3 && <4
• pretty lib:pretty >=1 && <2
• syb lib:syb >=0.1.0.0
• utf8-string lib:utf8-string >=0.3.1.1 && <0.4
• xhtml lib:xhtml >=3000 && <3001

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• free-theorems-seq-webui exe:free-theorems-seq-webui.cgi