Idris2/bootstrap/idris2_app/idris2.ss
Kamil Shakirov f696335f2d Rename some file/dir manipulation functions
Renamed:

fileRemove -> removeFile

dirOpen -> openDir
dirClose -> closeDir
rmDir -> removeDir
2020-05-21 18:32:35 +06:00

9.3 MiB
Executable File

The file is too large to be shown. View Raw