<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
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?<br>
</div>
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div id="Signature">
<div></div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size: 12pt; color: rgb(0, 0, 0); font-family: Calibri, Arial, Helvetica, sans-serif;">
<font size="3"><b>Thanks,</b></font></div>
<div dir="ltr" style="font-size: 12pt; color: rgb(0, 0, 0); font-family: Calibri, Arial, Helvetica, sans-serif;">
<font size="3"><b>Jason Hu</b></font></div>
<div dir="ltr" style="font-size: 12pt; color: rgb(0, 0, 0); font-family: Calibri, Arial, Helvetica, sans-serif;">
<font size="3"><b><a href="https://hustmphrrr.github.io/" style="">https://hustmphrrr.github.io/</a></b></font><br>
<font size="3"><b></b></font><font style="font-size:12pt" size="3"><span style="color: rgb(69, 129, 142);"><span style="font-family:trebuchet ms,sans-serif"><b><a target="_blank" style=""></a></b></span></span></font></div>
</div>
<div id="appendonsend"></div>
<hr style="display:inline-block;width:98%" tabindex="-1">
<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" style="font-size:11pt" color="#000000"><b>From:</b> Agda <agda-bounces@lists.chalmers.se> on behalf of Nicolas Pouillard <nicolas.pouillard+agda@gmail.com><br>
<b>Sent:</b> October 6, 2019 11:09 AM<br>
<b>To:</b> Agda mailing list <agda@lists.chalmers.se><br>
<b>Subject:</b> [Agda] Agda Logo Poll Results</font>
<div> </div>
</div>
<div>
<div dir="ltr">Dear list members,
<div><br>
</div>
<div>Here are the results of the poll organized to choose the Agda logo:</div>
<div><br>
</div>
<div> <a href="https://civs.cs.cornell.edu/cgi-bin/results.pl?id=E_ce6fe5e2a518ac98">
https://civs.cs.cornell.edu/cgi-bin/results.pl?id=E_ce6fe5e2a518ac98</a></div>
<div><br>
</div>
<div>Out of 619 allowed participants, 117 have voted.</div>
<div>The results are pretty clear has we have a condorcet winner.</div>
<div>I have not access to more details than what is available on this page.</div>
<div><br>
</div>
<div>Best regards,</div>
<div>Nicolas</div>
</div>
</div>
</body>
</html>