@hackage / tptp

Parser and pretty printer for the TPTP language

Latest0.1.3.0

Dependencies

library:tptp (6 dependencies)

@hackage / text An efficient packed Unicode text type.
- Version: >=1.2.3 && <1.3
- License: BSD-2-Clause
@hackage / attoparsec Fast combinator parsing for bytestrings and text
- Version: >=0.13.2 && <0.14
- License: BSD-3-Clause
@hackage / semigroups Anything that associates
- Version: >=0.16.1 && <1.0
- License: BSD-3-Clause
@hackage / scientific Numbers represented using scientific notation
- Version: >=0.3.1 && <0.4
- License: BSD-3-Clause
@hackage / prettyprinter A modern, easy to use, well-documented, extensible pretty-printer.
- Version: >=1.2.1 && <1.5
- License: BSD-2-Clause
@hackage / base Core data structures and operations
- Version: >=4.7 && <5.0
- License: BSD-3-Clause

test:doctest (3 dependencies)

test:quickcheck (10 dependencies)

test:unit (7 dependencies)