The latest version of free-theorems is 0.3.2.1-0.
lib:free-theorems
Modules
- Language.Haskell.FreeTheorems
- Language.Haskell.FreeTheorems.BasicSyntax
- Language.Haskell.FreeTheorems.NameStores
- Language.Haskell.FreeTheorems.Parser.Haskell98
- Language.Haskell.FreeTheorems.Parser.Hsx
- Language.Haskell.FreeTheorems.Syntax
- Language.Haskell.FreeTheorems.Theorems
- Language.Haskell.FreeTheorems.ValidSyntax
Dependencies
- base lib:base (>=1 && <4) && >=4
- containers lib:containers >=0.1.0.1
- haskell-src lib:haskell-src >=1.0
- haskell-src-exts lib:haskell-src-exts >=0.3.9 && <0.4
- 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