@hackage logic-TPTP dependencies

36 results

library:logic-TPTP (9 dependencies)

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause>=0.5

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.8.0.0 && <5

@haskell/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/syb

Scrap Your Boilerplate

BSD-3-Clause

@hackage/pointed

Pointed and copointed data

BSD-3-Clause

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause>=2

executable:ParseRandom (9 dependencies)

@haskell/process

Process libraries

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/syb

Scrap Your Boilerplate

BSD-3-Clause

@hackage/pcre-light

Portable regex library for Perl 5 compatible regular expressions

BSD-3-Clause

@hackage/logic-TPTP

Import, export etc. for TPTP, a syntax for first-order logic

LicenseRef-GPL

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause

executable:PrettyPrintFile (9 dependencies)

@haskell/process

Process libraries

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/syb

Scrap Your Boilerplate

BSD-3-Clause

@hackage/pcre-light

Portable regex library for Perl 5 compatible regular expressions

BSD-3-Clause

@hackage/logic-TPTP

Import, export etc. for TPTP, a syntax for first-order logic

LicenseRef-GPL

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause

executable:TestImportExportImportFile (4 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/pcre-light

Portable regex library for Perl 5 compatible regular expressions

BSD-3-Clause

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

BSD-3-Clause>=0.11 && <0.19

@hackage/logic-TPTP

Import, export etc. for TPTP, a syntax for first-order logic

LicenseRef-GPL

test:TestImportExportRandom (5 dependencies)

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/pcre-light

Portable regex library for Perl 5 compatible regular expressions

BSD-3-Clause

@hackage/logic-TPTP

Import, export etc. for TPTP, a syntax for first-order logic

LicenseRef-GPL

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause