[Agda] Side Effects in Agda

Joe M joe9mail at gmail.com
Sun Mar 23 20:46:41 CET 2014


A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-encrypted
Size: 11 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20140323/9b140447/attachment.bin
-------------- next part --------------
A non-text attachment was scrubbed...
Name: msg.asc
Type: application/octet-stream
Size: 1957 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20140323/9b140447/msg.obj


More information about the Agda mailing list