[Agda] Agda IO - accessing command-line arguments

stvienna wiener stvienna at gmail.com
Wed Jul 18 18:31:56 CEST 2012


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 Adelsberger / Vienna
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20120718/43ba730c/attachment.html

More information about the Agda mailing list