6 Oct
2010
6 Oct
'10
4:32 p.m.
A slightly different suggestion from Simon PJ and myself (we agreed on something syntax-related :-) is the following:
\case 1 -> f 2 -> g ... \case { 1 -> f; 2 -> g }
+1
I like this because it has exactly the same properties of Max's case-of, but is shorter and still reads with sense. +1