Fair enough. That said, I think dzaima/APL implements it. As does KAP now. It's also a pretty obvious implementation, and the behaviour orthogonal, instead of having a special case for scalars.
Regards, Elias On Fri, 24 Sept 2021 at 22:35, Jay Foad <jay.f...@gmail.com> wrote: > Elias, > > This was an extension to Mix in Dyalog 14.0 > (http://docs.dyalog.com/14.0/Dyalog%20APL%20Release%20Notes.pdf p22) > inspired by the way the Rank operator assembles results with differing > ranks. I'm not aware of any other APL2-like APLs implementing this > extension. > > Jay. > > On Wed, 22 Sept 2021 at 14:20, Elias Mårtenson <loke...@gmail.com> wrote: > > > > The following expression should work, if I'm reading the ISO spec > correctly: > > > > ⊃ 3 (1 2) (2 2 ⍴ 0 1 2 3) > > > > It does work on Dyalog, and gives the expected result. > > > > Regards, > > Elias >