7 Jul
2012
7 Jul
'12
11:07 a.m.
On 07/07/2012, Jonas Almström Duregård
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: 1. "case of" 2. "\ of"