View this file with results and syntax highlighting here.
Combine an array of arrays into one array. All elements of 𝕩
must have the same rank, and the result rank is that plus the rank of 𝕩
.
Returns and boxed atoms unchanged.
a ← ⟨⟨1, 2⟩, ⟨3, 4⟩⟩
>a
≢a
≢>a
𝕨
and 𝕩
can both be either numbers or characters.
1 > 3
2‿3‿0 > 3‿1‿0
'a' > 'b'