Safe Haskell | Safe-Inferred |
---|
Documentation
findFileTPTP :: [FilePath] -> FilePath -> IO (Maybe FilePath)Source
getTPTPDirs :: IO [FilePath]Source
findFileFlags :: Annotated [Flag] ParParser [[Char]]Source
Safe Haskell | Safe-Inferred |
---|
findFileTPTP :: [FilePath] -> FilePath -> IO (Maybe FilePath)Source
getTPTPDirs :: IO [FilePath]Source
findFileFlags :: Annotated [Flag] ParParser [[Char]]Source