# io:removeFiles can take multiple path to delete (io:removeFiles "input.txt" "/input.txt") (io:removeFiles "docs" "/docs") # or just one (io:removeFiles "input.txt") (io:removeFiles "/input.txt") (io:removeFiles "docs") (io:removeFiles "/docs")