test:logic-classes-tests
Dependencies
- HUnit lib:HUnit >=0
- PropLogic lib:PropLogic >=0
- applicative-extras lib:applicative-extras >=0
- atp-haskell lib:atp-haskell >=0
- base lib:base >=0
- containers lib:containers >=0
- logic-classes lib:logic-classes >=0
- mtl lib:mtl >=0
- pretty lib:pretty >=1.1.2
- safe lib:safe >=0
- set-extra lib:set-extra >=0
- syb lib:syb >=0
Reverse dependencies
None.