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

Codec.TPTP.Export

Synopsis

Documentation

toTPTP' :: forall a. ToTPTP a => a -> StringSource

Convenient wrapper for toTPTP