[Agda] how to run helloworld in agda

Mandy Martino tesleft at hotmail.com
Sun Dec 20 14:02:04 CET 2015


Skipped content of type multipart/alternative-------------- next part --------------
A non-text attachment was scrubbed...
Name: howtouseemacswithlibrary.png
Type: image/png
Size: 486725 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20151220/9865fde8/howtouseemacswithlibrary-0001.png


More information about the Agda mailing list