hlint

Safe HaskellNone

Proof

Documentation

proof :: [FilePath] -> [Setting] -> FilePath -> IO ()