[Agda] Call for Participation: ICFP 2016

Manuel Bärenz manuel at enigmage.de
Tue Jul 19 10:08:55 CEST 2016


Skipped content of type multipart/mixed-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
Url : http://lists.chalmers.se/pipermail/agda/attachments/20160719/98a68425/signature.bin


More information about the Agda mailing list