Dear steering committee,

See below – it seems that (1) is the winner.  I have recorded the results on our document here.

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 <mail@joachim-breitner.de>
Sent: 26 July 2021 21:19
To: Simon Peyton Jones <simonpj@microsoft.com>
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 <simonpj@microsoft.com>:

Joachim

We have votes for \case, here https://docs.google.com/document/d/1NDXk5kKcLtkqhkSNESAC9jVrBn3yqS_Qe1vacAIKnDs/edit?usp=sharing

Could you possibly run the voting algorithm – or tell me how to?

Thanks

Simon