diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-08-03 17:08:58 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-08-03 17:08:58 -0400 |
| commit | 8659fe5eb829b912b21c5ef604d8a7f36a74ee28 (patch) | |
| tree | a7cb4d99fd02c767feda92a9aa397c4e7bf4cec3 /doc/couple.md | |
| parent | 12b2f076d8c3f6acb11a82d555360dd44e3c8083 (diff) | |
Some links to undo.md
Diffstat (limited to 'doc/couple.md')
| -rw-r--r-- | doc/couple.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/couple.md b/doc/couple.md index e88acb75..4603b22b 100644 --- a/doc/couple.md +++ b/doc/couple.md @@ -30,7 +30,7 @@ In all cases what these functions do is more like reinterpreting existing data t ⥊ ⥊¨ a ∾ ⥊ ⥊¨ a -The way this happens, and the constraint that all inner arrays have the same shape, is closely connected to the concept of an array, and like [Table](map.md#table) `⌜`, Merge might be considered a fundamental way to build up multidimensional arrays from lists. In both cases rank-0 or [unit](enclose.md#whats-a-unit) arrays are somewhat special. They are the [identity value](fold.md#identity-values) of a function with Table, and can be produced by Merge inverse, `>⁼` **on a list**, which forces either the outer or inner shape to be empty (BQN chooses `>⁼` to be `<`, but only on an array, as `>` cannot produce non-arrays). Merge has another catch as well: it cannot produce arrays with a `0` in the shape, except at the end, unless fills can be specified. +The way this happens, and the constraint that all inner arrays have the same shape, is closely connected to the concept of an array, and like [Table](map.md#table) `⌜`, Merge might be considered a fundamental way to build up multidimensional arrays from lists. In both cases rank-0 or [unit](enclose.md#whats-a-unit) arrays are somewhat special. They are the [identity value](fold.md#identity-values) of a function with Table, and can be produced by Merge [inverse](undo.md), `>⁼` **on a list**, which forces either the outer or inner shape to be empty (BQN chooses `>⁼` to be `<`, but only on an array, as `>` cannot produce non-arrays). Merge has another catch as well: it cannot produce arrays with a `0` in the shape, except at the end, unless fills can be specified. ⊢ e ← ⟨⟩¨ ↕3 ≢ > e |
