Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
parse :: String -> [TPTP_Input] Source #
parseWithComment :: String -> [TPTP_Input_C] Source #
parseWithCommentFile :: FilePath -> IO [TPTP_Input_C] Source #
Safe Haskell | None |
---|---|
Language | Haskell98 |
parse :: String -> [TPTP_Input] Source #
parseWithComment :: String -> [TPTP_Input_C] Source #
parseWithCommentFile :: FilePath -> IO [TPTP_Input_C] Source #