Idris2Doc : System.File

System.File

copyFile : HasIO io => String -> String -> io (Either FileError ())