@hackage quickspec0.9.3
Equational laws for free
Installation
Dependencies (9)
- QuickCheck >=2.7
- array
- base <5
- containers
- ghc-prim
- mtl Show all…
Dependents (3)
@hackage/acme-everything, @hackage/algebra-driven-design, @hackage/reduce-equations
cabal install and look at the examples directory.