Dependencies for free-theorems-counterexamples-0.3.1.0
Libraries
free-theorems-counterexamples
- containers (>=0.1.0.1)
- haskell-src (>=1.0)
- haskell-src-exts (>=0.3.9)
- HUnit (>=1.2)
- mtl (>=1.0)
- pretty (>=1.0.0.0)
- if impl(ghc>=6.10)else
- base (>=1 && <4)
Executables
counterexamples.cgi
- cgi
- free-theorems (>=0.3.1.3)
- utf8-string
- xhtml