diff options
| author | Paul A. Patience <paul@apatience.com> | 2022-05-13 22:06:04 -0400 |
|---|---|---|
| committer | Paul A. Patience <paul@apatience.com> | 2022-05-13 22:24:11 -0400 |
| commit | e9fd7e6f6bc6d67fe16ea49b738481e0d4c61fac (patch) | |
| tree | 5abe71a675e02806482105957bd5c8f20fb97aca /doc/order.md | |
| parent | f13a4160801d23877c755717057fb35ee76dc120 (diff) | |
Fix typos and an awkward formulation
Diffstat (limited to 'doc/order.md')
| -rw-r--r-- | doc/order.md | 2 |
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 |
