Simon Cozens wrote:
Ah, I see. So (x & y) is equivalent to all(x,y) ?
Yes. C<any>, C<all>, and C<one> are the n-ary prefix versions of binary infix C<|>, C<&>, C<!> respectively.
One might imagine others of this ilk too, perhaps:
Binary N-ary
+ sum
* prod
~ cat
generic reduce
Damian
