[Agda] Agda Logo Poll Results
Nicolas Pouillard
nicolas.pouillard+agda at gmail.com
Sun Oct 6 17:09:46 CEST 2019
Dear list members,
Here are the results of the poll organized to choose the Agda logo:
https://civs.cs.cornell.edu/cgi-bin/results.pl?id=E_ce6fe5e2a518ac98
Out of 619 allowed participants, 117 have voted.
The results are pretty clear has we have a condorcet winner.
I have not access to more details than what is available on this page.
Best regards,
Nicolas
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20191006/5bfbf262/attachment.html>
More information about the Agda
mailing list