[Agda] how to run helloworld in agda

[Mandy Martino]

Skipped content of type multipart/alternative-------------- next part --------------
A non-text attachment was scrubbed...
Name: anothercommandinprogress1.png
Type: image/png
Size: 242789 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20151224/3722bd25/anothercommandinprogress1-0001.png
-------------- next part --------------
A non-text attachment was scrubbed...
Name: anothercommandinprogress2.png
Type: image/png
Size: 273854 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20151224/3722bd25/anothercommandinprogress2-0001.png