Re: Call to arms: lambda-case is stuck and needs your help

On 07/07/2012 16:07, Strake wrote:

On 07/07/2012, Jonas Almström Duregård wrote:

...

Couldn't we use \\ for multi-case lambdas with layout?

If not, these are my preferences in order (all are single argument versions): 1: Omission: "case of". There seems to be some support for this but it was not included in the summary. 2: Omission with clarification: "\case of" 3: "\of" - but I think this is a little weird. It's nice to have short keywords but not at the expense of intuition. The goal here is to drop the variable name not the case keyword, right?

Regards, Jonas

Well, since this is now suddenly a ranked-choice election, I shall re-cast my vote:

I think some misunderstanding has crept in - we're not planning to count votes or anything here. If you have new suggestions or know of reasons for/against existing proposals then please post, otherwise there's no need to post just to express your personal preference. Cheers, Simon