Incidentally, it works like this in Dyalog and NARS2000 too, though the Dyalog documentation doesn't mention the 3-item form.
Jay. On 27 April 2016 at 09:02, Jay Foad <jay.f...@gmail.com> wrote: > Given g ← f⍤P Q R: > P is the monadic rank > Q is the left rank > R is the right rank > > So: > g Y applies g to the P-cells of Y > X g Y applies g to the Q-cells of X and the R-cells of Y > > The ⌽3⍴⌽y1 stuff is just a too-cute way of saying that you can specify > fewer than 3 values in the right operand, and: > R is shorthand for R R R > Q R is shorthand for R Q R
