The latest version of logic-classes is 1.7.1-0.
exe:tests
Dependencies
- HUnit lib:HUnit >=0
- PropLogic lib:PropLogic >=0
- applicative-extras lib:applicative-extras >=0
- base lib:base >=0
- containers lib:containers >=0
- mtl lib:mtl >=0
- pretty lib:pretty >=0
- safecopy lib:safecopy >=0
- set-extra lib:set-extra >=0
- syb lib:syb >=0
- template-haskell lib:template-haskell >=0
Reverse dependencies
None.