lib:polyseq
Modules
- 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.0.0
- base lib:base (>=1 && <4) && >=4
- bytestring lib:bytestring >=0.9.0.1
- cgi lib:cgi >=3001.1.5.1
- containers lib:containers >=0.1.0.1
- free-theorems lib:free-theorems >=0.3.1
- haskell-src lib:haskell-src >=1.0.1.1
- mtl lib:mtl >=1.1.0.0
- network lib:network >=2.1.0.0
- old-locale lib:old-locale >=1.0.0.0
- old-time lib:old-time >=1.0.0.0
- parsec lib:parsec >=3.0.0
- pretty lib:pretty >=1.0.0.0
- syb lib:syb >=0.1.0.0
- utf8-string lib:utf8-string >=0.3.1.1
- xhtml lib:xhtml >=3000.0.2.1
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything