[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