[Agda] Agda Logo Poll Results

[Jason -Zhong Sheng- Hu]

Oh so my favorite didn't win. sad. how should I interpret "loses to ... by x - y"? does that mean there are x persons liking the winning logo while only y persons like the losing logo?

Thanks,
Jason Hu
https://hustmphrrr.github.io/
________________________________
From: Agda <agda-bounces at lists.chalmers.se> on behalf of Nicolas Pouillard <nicolas.pouillard+agda at gmail.com>
Sent: October 6, 2019 11:09 AM
To: Agda mailing list <agda at lists.chalmers.se>
Subject: [Agda] Agda Logo Poll Results

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/20191007/5cd7cd13/attachment.html>