[Agda] Agda IO - accessing command-line arguments

[stvienna wiener]

Hello,

Today I was experimenting with Agda and IO. However, I can’t find any
up-to-date information on how to access command-line arguments in Agda. How
can I use “getArgs” (or similar) using the IO module from the std-library?

Also, is there standard and also efficient way to convert/parse a String to
a natural number (e.g., “20” -> 20)?

Thanks for any help!
Stephan

--
Stephan Adelsberger / Vienna
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20120718/43ba730c/attachment.html