[Agda] Agda Logo Poll Results

[Nicolas Pouillard]

I would say that "A loses to B by x - y" means that x people have ranked A
> B and y people have ranked B > A.

On Mon, Oct 7, 2019, 06:07 Jason -Zhong Sheng- Hu <fdhzs2010 at hotmail.com>
wrote:

> 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/ <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/65dbef8a/attachment.html>