diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-30 18:02:45 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-30 18:02:45 -0500 |
| commit | 9c2599cb11346602f84d32a2e327580547f19fa1 (patch) | |
| tree | 7dcef7c0e4640d4bd535af36cc78b0101624d700 /doc/block.md | |
| parent | ba1928402a83fe24ee667450257b66fe5cefcc00 (diff) | |
Document destructuring assignment
Diffstat (limited to 'doc/block.md')
| -rw-r--r-- | doc/block.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/block.md b/doc/block.md index 27018939..b6b83cc9 100644 --- a/doc/block.md +++ b/doc/block.md @@ -134,10 +134,10 @@ Unlike these assignments, the header also constrains what inputs the block can t ### Destructuring -Arguments, but not operands, allow destructuring like assignment does. While assignment only tolerates lists of variables, header destructuring also allows constants. The argument must match the given structure, including the constants where they appear, or an error results. +Arguments and operands allow [destructuring](expression.md#destructuring) like assignment does. While assignment only tolerates lists of variables, header destructuring also allows constants. The argument must match the given structure, including the constants where they appear, or an error results. - Destruct ← { 𝕊 a‿1‿⟨b,2⟩: a≍b } - Destruct 5‿1‿⟨7,2⟩ + Destruct ← { 𝕊 a‿1‿⟨b,·,2⟩: a≍b } + Destruct 5‿1‿⟨7,π,2⟩ ### Special names in headers |