diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-05-14 07:43:53 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-14 07:43:53 -0400 |
| commit | 8a64b4b7a1a721b0d8034195ba718aed6992241e (patch) | |
| tree | 5abe71a675e02806482105957bd5c8f20fb97aca /doc/pair.md | |
| parent | f13a4160801d23877c755717057fb35ee76dc120 (diff) | |
| parent | e9fd7e6f6bc6d67fe16ea49b738481e0d4c61fac (diff) | |
Merge pull request #67 from paulapatience/bug/typos
Fix typos and an awkward formulation
Diffstat (limited to 'doc/pair.md')
| -rw-r--r-- | doc/pair.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/pair.md b/doc/pair.md index c36e3abd..d4519e49 100644 --- a/doc/pair.md +++ b/doc/pair.md @@ -50,4 +50,4 @@ Enlist and Pair set the result's [fill](fill.md) element, while list notation do 4 ↑ "a"‿5 ⋈ "b"‿7 -This means that `⋈` may always behave the same as the obvious implementation `{⟨𝕩⟩;⟨𝕨,𝕩⟩}`. However, `≍○<` and even `>∘{⟨𝕩⟩;⟨𝕨,𝕩⟩}○<` compute the result fill as `⋈` does and are identical implementations. +This means that `⋈` may not always behave the same as the obvious implementation `{⟨𝕩⟩;⟨𝕨,𝕩⟩}`. However, `≍○<` and even `>∘{⟨𝕩⟩;⟨𝕨,𝕩⟩}○<` compute the result fill as `⋈` does and are identical implementations. |