@hackage / free-theorems

Automatic generation of free theorems.

Latest0.3.2.1

Dependencies

library:free-theorems (6 dependencies)

@hackage / base Core data structures and operations
- Version: >=1 && <5
- 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