| Safe Haskell | None |
|---|
Codec.TPTP
Documentation
module Codec.TPTP.Base
module Codec.TPTP.Import
module Codec.TPTP.Pretty
module Codec.TPTP.Export
module Codec.TPTP.Diff
logic-TPTP-0.4.2.0: Import, export etc. for TPTP, a syntax for first-order logic
| Safe Haskell | None |
|---|
Codec.TPTP
module Codec.TPTP.Base
module Codec.TPTP.Import
module Codec.TPTP.Pretty
module Codec.TPTP.Export
module Codec.TPTP.Diff