@hackage / free-theorems-counterexamples

Automatically Generating Counterexamples to Naive Free Theorems

Latest0.3.1.0

Dependencies

library:free-theorems-counterexamples (8 dependencies)

@hackage / haskell-src-exts Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
- Version: >=0.3.9
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4
- License: BSD-3-Clause
@hackage / HUnit A unit testing framework for Haskell
- Version: >=1.2
- License: BSD-3-Clause
@hackage / syb Scrap Your Boilerplate
- Version: >=0.1.0.0
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=1.0
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.1.0.1
- License: BSD-3-Clause
@hackage / haskell-src Support for manipulating Haskell source code
- Version: >=1.0
- License: BSD-3-Clause
@hackage / pretty Pretty-printing library
- Version: >=1.0.0.0
- License: BSD-3-Clause

executable:counterexamples.cgi (4 dependencies)