@hackage logic-TPTP dependencies
51 results
@haskell/transformers
Concrete functor and monad transformers
@haskell/text
An efficient packed Unicode text type.
@haskell/mtl
Monad classes for transformers, using functional dependencies
@haskell/containers
Assorted concrete container types
@haskell/base
Core data structures and operations
@haskell/array
Mutable and immutable arrays
@hackage/syb
Scrap Your Boilerplate
@hackage/semigroups
Anything that associates
@hackage/prettyprinter-ansi-terminal
ANSI terminal backend for the »prettyprinter« package.
@hackage/prettyprinter
A modern, easy to use, well-documented, extensible pretty-printer.
@hackage/pointed
Pointed and copointed data
@hackage/QuickCheck
Automatic testing of Haskell programs
@haskell/process
Process libraries
@haskell/mtl
Monad classes for transformers, using functional dependencies
@haskell/containers
Assorted concrete container types
@haskell/bytestring
Fast, compact, strict and lazy byte strings with a list interface
@haskell/base
Core data structures and operations
@hackage/syb
Scrap Your Boilerplate
@hackage/semigroups
Anything that associates
@hackage/prettyprinter-ansi-terminal
ANSI terminal backend for the »prettyprinter« package.
@hackage/prettyprinter
A modern, easy to use, well-documented, extensible pretty-printer.
@hackage/pcre-light
Portable regex library for Perl 5 compatible regular expressions
@hackage/logic-TPTP
Import, export etc. for TPTP, a syntax for first-order logic
@hackage/QuickCheck
Automatic testing of Haskell programs
@haskell/process
Process libraries
@haskell/mtl
Monad classes for transformers, using functional dependencies
@haskell/containers
Assorted concrete container types
@haskell/bytestring
Fast, compact, strict and lazy byte strings with a list interface
@haskell/base
Core data structures and operations
@hackage/syb
Scrap Your Boilerplate
@hackage/semigroups
Anything that associates
@hackage/prettyprinter-ansi-terminal
ANSI terminal backend for the »prettyprinter« package.
@hackage/prettyprinter
A modern, easy to use, well-documented, extensible pretty-printer.
@hackage/pcre-light
Portable regex library for Perl 5 compatible regular expressions
@hackage/logic-TPTP
Import, export etc. for TPTP, a syntax for first-order logic
@hackage/QuickCheck
Automatic testing of Haskell programs
@haskell/base
Core data structures and operations
@hackage/semigroups
Anything that associates
@hackage/prettyprinter-ansi-terminal
ANSI terminal backend for the »prettyprinter« package.
@hackage/prettyprinter
A modern, easy to use, well-documented, extensible pretty-printer.
@hackage/pcre-light
Portable regex library for Perl 5 compatible regular expressions
@hackage/optparse-applicative
Utilities and combinators for parsing command line options
@hackage/logic-TPTP
Import, export etc. for TPTP, a syntax for first-order logic
@haskell/transformers
Concrete functor and monad transformers
@haskell/base
Core data structures and operations
@hackage/semigroups
Anything that associates
@hackage/prettyprinter-ansi-terminal
ANSI terminal backend for the »prettyprinter« package.
@hackage/prettyprinter
A modern, easy to use, well-documented, extensible pretty-printer.
@hackage/pcre-light
Portable regex library for Perl 5 compatible regular expressions
@hackage/logic-TPTP
Import, export etc. for TPTP, a syntax for first-order logic
@hackage/QuickCheck
Automatic testing of Haskell programs