[Agda] agda coredump

Sivaram Gowkanapalli sivaramreddy at hotmail.com
Thu Mar 24 19:55:34 CET 2011


Skipped content of type multipart/alternative-------------- next part --------------
A non-text attachment was scrubbed...
Name: mylist.agda
Type: application/octet-stream
Size: 1314 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20110324/e96a859a/mylist.obj


More information about the Agda mailing list