@hackage logic-classes dependencies
21 results
@hackage/template-haskell
Support library for Template Haskell
@hackage/base
Core data structures and operations
@hackage/set-extra
Functions that could be added to Data.Set.
@hackage/HUnit
A unit testing framework for Haskell
@hackage/syb
Scrap Your Boilerplate
@hackage/PropLogic
Propositional Logic
@hackage/mtl
Monad classes for transformers, using functional dependencies
@hackage/containers
Assorted concrete container types
@hackage/applicative-extras
Instances for Applicative
@hackage/safecopy
Binary serialization with version control.
@hackage/pretty
Pretty-printing library
@hackage/base
Core data structures and operations
@hackage/logic-classes
Framework for propositional and first order logic, theorem proving
@hackage/set-extra
Functions that could be added to Data.Set.
@hackage/HUnit
A unit testing framework for Haskell
@hackage/syb
Scrap Your Boilerplate
@hackage/PropLogic
Propositional Logic
@hackage/mtl
Monad classes for transformers, using functional dependencies
@hackage/containers
Assorted concrete container types
@hackage/applicative-extras
Instances for Applicative
@hackage/pretty
Pretty-printing library