@hackage logic-classes dependencies
26 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/atp-haskell
Translation from Ocaml to Haskell of John Harrison's ATP code
@hackage/containers
Assorted concrete container types
@hackage/applicative-extras
Instances for Applicative
@hackage/safecopy
Binary serialization with version control.
@hackage/parsec
Monadic parser combinators
@hackage/safe
Library of safe (exception free) functions
@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/atp-haskell
Translation from Ocaml to Haskell of John Harrison's ATP code
@hackage/containers
Assorted concrete container types
@hackage/applicative-extras
Instances for Applicative
@hackage/safe
Library of safe (exception free) functions
@hackage/pretty
Pretty-printing library