aboutsummaryrefslogtreecommitdiff
path: root/doc/order.md
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2021-07-24 22:47:46 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2021-07-24 22:47:46 -0400
commita17782ce2ec31709ce30edb3d96fe2f3a9a6ed1f (patch)
treeb601681b2282f1a51042f8faf5bfe0e0242c0c31 /doc/order.md
parent436bf368830c828f8008bf55632e2bb4c2a2578f (diff)
Documentation on fill elements
Diffstat (limited to 'doc/order.md')
-rw-r--r--doc/order.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/order.md b/doc/order.md
index 77e3a7c8..93c0c1c7 100644
--- a/doc/order.md
+++ b/doc/order.md
@@ -20,7 +20,7 @@ You've probably seen it before. Sort Up (`∧`) reorders the major cells of its
∨ "δαβγ"
-Sort Down always [matches](match.md) Sort Up [reversed](reverse.md), `⌽∘∧`. The reason for this is that BQN's array ordering is a [total order](https://en.wikipedia.org/wiki/Total_order), meaning that if one array doesn't come earlier or later that another array in the ordering then the two arrays match. Since any two non-matching argument cells are strictly ordered, they will have one ordering in `∧` and the opposite ordering in `∨`. With the reverse, any pair of non-matching cells are ordered the same way in `⌽∘∧` and `∨`. Since these two results have the same major cells in the same order, they match. However, note that the results will not always behave identically because Match doesn't take fill elements into account (if you're curious, take a look at `⊑¨∨⟨↕0,""⟩` versus `⊑¨⌽∘∧⟨↕0,""⟩`).
+Sort Down always [matches](match.md) Sort Up [reversed](reverse.md), `⌽∘∧`. The reason for this is that BQN's array ordering is a [total order](https://en.wikipedia.org/wiki/Total_order), meaning that if one array doesn't come earlier or later that another array in the ordering then the two arrays match. Since any two non-matching argument cells are strictly ordered, they will have one ordering in `∧` and the opposite ordering in `∨`. With the reverse, any pair of non-matching cells are ordered the same way in `⌽∘∧` and `∨`. Since these two results have the same major cells in the same order, they match. However, note that the results will not always behave identically because Match doesn't take [fill elements](fill.md) into account (if you're curious, take a look at `⊑¨∨⟨↕0,""⟩` versus `⊑¨⌽∘∧⟨↕0,""⟩`).
## Grade