read/write files ?

how to read a file content?

thank you very much

[adamsol]

Not implemented yet, it is on my todo list. Currently you can use standard input/output redirection to read from or write to a file.

thank you