logic-TPTP-0.2.0.3: Import, export etc. for TPTP, a syntax for first-order logic
Codec.TPTP.Import
parse :: String -> [TPTP_Input]Source
parseFile :: FilePath -> IO [TPTP_Input]Source
data Token Source
Constructors
Instances