[Agda] how to run helloworld in agda
Mandy Martino
tesleft at hotmail.com
Wed Dec 23 20:30:40 CET 2015
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
More information about the Agda
mailing list