Jukebox.TPTP.FindFile

Documentation

findFile :: [FilePath] -> FilePath -> IO (Maybe FilePath)

findFileTPTP :: [FilePath] -> FilePath -> IO (Maybe FilePath)

getTPTPDirs :: IO [FilePath]

findFileFlags :: OptionParser [[Char]]