Description
Idris 2 programs can manipulate Unix-style file paths through reusable library functions.
It is useful for developers writing command-line tools, build helpers, or file-processing programs in Idris 2. Path handling affects files on disk, so applications should still validate user-provided paths.