lib:free-theorems

Modules

• Language.Haskell.FreeTheorems
• Language.Haskell.FreeTheorems.BasicSyntax
• Language.Haskell.FreeTheorems.NameStores
• Language.Haskell.FreeTheorems.Parser.Haskell98
• Language.Haskell.FreeTheorems.Syntax
• Language.Haskell.FreeTheorems.Theorems
• Language.Haskell.FreeTheorems.ValidSyntax

Dependencies

• base lib:base (>=1 && <5) && >=4
• containers lib:containers >=0.1.0.1
• haskell-src lib:haskell-src >=1.0
• mtl lib:mtl >=1.0
• pretty lib:pretty >=1.0.0.0
• syb lib:syb >=0.1.0.0

Reverse dependencies

Direct only. Not exhaustive.

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