@hackage logic-TPTP dependencies

8 results

library:logic-TPTP (8 dependencies)

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause<2.3

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

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

@haskell/array

Mutable and immutable arrays

@hackage/utf8-prelude

Variants of Prelude and System.IO with UTF8 text I/O operations

@hackage/syb

Scrap Your Boilerplate

@hackage/ansi-wl-pprint

The Wadler/Leijen Pretty Printer for colored ANSI terminal output

BSD-3-Clause<1.0

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause>=2