@hackage logic-classes dependencies
15 results
@hackage/incremental-sat-solver
Simple, Incremental SAT Solving as a Library
@hackage/base
Core data structures and operations
@hackage/set-extra
Functions that could be added to Data.Set.
@hackage/syb
Scrap Your Boilerplate
@hackage/PropLogic
Propositional Logic
@hackage/mtl
Monad classes for transformers, using functional dependencies
@hackage/happstack-data
Happstack data manipulation libraries
@hackage/fgl
Martin Erwig's Functional Graph Library
@hackage/text
An efficient packed Unicode text type.
@hackage/containers
Assorted concrete container types
@hackage/applicative-extras
Instances for Applicative
@hackage/safecopy
Binary serialization with version control.
@hackage/syb-with-class
Scrap Your Boilerplate With Class
@hackage/pretty
Pretty-printing library
@hackage/HUnit
A unit testing framework for Haskell