Safe Haskell | Safe-Infered |
---|
Documentation
parse :: String -> [TPTP_Input]Source
parseFile :: FilePath -> IO [TPTP_Input]Source
parseWithComment :: String -> [TPTP_Input_C]Source
Safe Haskell | Safe-Infered |
---|
parse :: String -> [TPTP_Input]Source
parseFile :: FilePath -> IO [TPTP_Input]Source
parseWithComment :: String -> [TPTP_Input_C]Source