From e9fd7e6f6bc6d67fe16ea49b738481e0d4c61fac Mon Sep 17 00:00:00 2001 From: "Paul A. Patience" Date: Fri, 13 May 2022 22:06:04 -0400 Subject: Fix typos and an awkward formulation --- doc/order.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/order.md') 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 -- cgit v1.2.3