2 ms·
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/
by lgas 10y ago
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 https://media.readthedocs.org/pdf/idris/latest/idris.pdf