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