@hackage ivory-quickcheck0.2.0.5
QuickCheck driver for Ivory.
Categories
License
BSD-3-Clause
Maintainer
leepike@galois.com
Links
Versions
Installation
Dependencies (8)
- QuickCheck >=2.7
- base >=4.7 && <5
- base-compat
- ivory
- ivory-backend-c
- ivory-eval Show all…
Dependents (2)
@hackage/acme-everything, @hackage/ivory-examples
Warning! This module is experimental and its implementation may change dramatically.