Harald writes:
> (On a side note, I would have preferred to change the notation <={...}
> into ${...} because <={...} is hard to type
personally, i'd prefer a(b,c,d) to be sugar for <={a b c d}, because I
was doing *lots* of thunks in a script lately, and it was driving me up the
wall. Pity that this minor change would break so much else, and irritate in
so many other ways. :-)
steve