jukebox-0.1: A first-order reasoning toolbox

Safe HaskellSafe-Inferred
LanguageHaskell98

Jukebox.TPTP.FindFile

Documentation

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

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

getTPTPDirs :: IO [FilePath] Source

findFileFlags :: Annotated [Flag] ParParser [[Char]] Source