[Agda] next year memberships at the IAS

Vladimir Voevodsky vladimir at ias.edu
Thu Jul 30 04:00:45 CEST 2015


Skipped content of type multipart/alternative-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 496 bytes
Desc: Message signed with OpenPGP using GPGMail
Url : http://lists.chalmers.se/pipermail/agda/attachments/20150729/96618b66/signature.bin


More information about the Agda mailing list