If you search for the "File Management" section in this doc, you can see an example of what he's talking about.

https://media.readthedocs.org/pdf/idris/latest/idris.pdf