aboutsummaryrefslogtreecommitdiff
path: root/doc/order.md
diff options
context:
space:
mode:
authorPaul A. Patience <paul@apatience.com>2022-05-13 22:06:04 -0400
committerPaul A. Patience <paul@apatience.com>2022-05-13 22:24:11 -0400
commite9fd7e6f6bc6d67fe16ea49b738481e0d4c61fac (patch)
tree5abe71a675e02806482105957bd5c8f20fb97aca /doc/order.md
parentf13a4160801d23877c755717057fb35ee76dc120 (diff)
Fix typos and an awkward formulation
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 fae7f73f..cf63a101 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](fill.md) 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 than 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