
16 Nov
2015
16 Nov
'15
6:44 a.m.
Suppose I want to use an argument twice, as for example in the expression: (\x -> (pred1 x) and (pred2 x)) Is there a shorter way of doing this?