@hackage / logic-TPTP

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

Latest0.6.0.0

Dependencies

library:logic-TPTP (12 dependencies)

@hackage / semigroups Anything that associates
- Version:
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version:
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@hackage / prettyprinter-ansi-terminal ANSI terminal backend for the »prettyprinter« package.
- Version: >=1.0 && <1.2
- License: BSD-2-Clause
@hackage / text An efficient packed Unicode text type.
- Version:
- License: BSD-2-Clause
@hackage / QuickCheck Automatic testing of Haskell programs
- Version: >=2
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.5
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / prettyprinter A modern, easy to use, well-documented, extensible pretty-printer.
- Version: >=1.2.1.1 && <1.8
- License: BSD-2-Clause
@hackage / pointed Pointed and copointed data
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.8.0.0 && <5
- License: BSD-3-Clause
@hackage / syb Scrap Your Boilerplate
- Version:
- License: BSD-3-Clause

executable:ParseRandom (12 dependencies)

executable:PrettyPrintFile (12 dependencies)

executable:TestImportExportImportFile (7 dependencies)

test:TestImportExportRandom (8 dependencies)