Dear steering committee,
See below - it seems that (1) is the winner. I have recorded the results on our document herehttps://docs.google.com/document/d/1NDXk5kKcLtkqhkSNESAC9jVrBn3yqS_Qe1vacAIK....
I'll post on the GitHub.
Thanks for participating in this. I think this ranked-preference voting works well when it comes down to a balance of taste on syntax, so that complete unanimity is unreasonable expectation.
Simon
From: Joachim Breitner
Sent: 26 July 2021 21:19
To: Simon Peyton Jones
Subject: Re: Running the voting algorithm
I'll do it by hand:
Votes:
1 > X > 2 = 4
2 > 4 > X > 1
1 > 4 > 2 > X
1 > X > 2 = 4
2 > 1 > X > 4
X > 1 > 2 = 4
1 > X > 2 = 4
1 > 2 > X > 4
1 > X > 2 = 4
2 > X > 1 > 4
Let's see if 1 is the winner:
1 beats 2 by 7 vs. 3 votes
1 beats 4 by 9 vs. 1 votes
1 beats X by 7 vs. 3 votes
The winner is 1.
(This tally was created on the phone in a tent on a mountain above a Norwegian fjord.)
26.07.2021 13:31:36 Simon Peyton Jones mailto:simonpj@microsoft.com>:
Joachim
We have votes for \case, here https://docs.google.com/document/d/1NDXk5kKcLtkqhkSNESAC9jVrBn3yqS_Qe1vacAIK...https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fdocs.google.com%2Fdocument%2Fd%2F1NDXk5kKcLtkqhkSNESAC9jVrBn3yqS_Qe1vacAIKnDs%2Fedit%3Fusp%3Dsharing&data=04%7C01%7Csimonpj%40microsoft.com%7C98104c338d60402e2ec308d950729efa%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637629275885272105%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=qf0QLREIPhi2c4q3p9TpKCjiY7zCOp0cU3CGNV3XiYM%3D&reserved=0
Could you possibly run the voting algorithm - or tell me how to?
Thanks
Simon
