Version 10.5-0 of sbv is deprecated.
The latest version of sbv is 10.12-0.
test:SBVDocTest
Dependencies
- QuickCheck lib:QuickCheck >=0
- base lib:base >=0 && >=4.16 && <5
- bytestring lib:bytestring >=0
- deepseq lib:deepseq >=0
- directory lib:directory >=0
- filepath lib:filepath >=0
- mtl lib:mtl >=0
- process lib:process >=0
- sbv lib:sbv >=0
- tasty lib:tasty >=0
- tasty-golden lib:tasty-golden >=0
- tasty-hunit lib:tasty-hunit >=0
- tasty-quickcheck lib:tasty-quickcheck >=0
Reverse dependencies
None.