[Agda] Last minute proposals for the Agda logo

[Nicolas Pouillard]

Dear all,

At the current Agda meeting in Munich (AIM XXX), I have been tasked to
conduct a poll aiming at selecting a logo for Agda.

Here is the list of proposed logos so far:

https://wiki.portal.chalmers.se/agda/pmwiki.php?n=AIMXXIII.LogoCompetition

If you have any last minute proposal you have until Saturday noon (12:00
CEST) to add them to this wiki page.

Note that a preselection may be performed before launching the poll (e.g.,
to filter out Agdy McAgdaface proposals).

Saturday afternoon you will receive another email with the details of the
poll.

Best regards,
Nicolas Pouillard
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190912/4c54905a/attachment.html>