diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-24 20:18:08 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-24 20:18:08 -0500 |
| commit | bc0245f0be38e547ad76bcd719c6dedbb161f0f4 (patch) | |
| tree | 3649c29ade245e5a2fb8b2c47e19ac7b2d707a91 /help/merge_greaterthan.md | |
| parent | 5566ea9429f75b54a8cffb9ebea7747ea651d52c (diff) | |
Remove extra leading spaces from code examples
Diffstat (limited to 'help/merge_greaterthan.md')
| -rw-r--r-- | help/merge_greaterthan.md | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/help/merge_greaterthan.md b/help/merge_greaterthan.md index 53ad43cc..31cf3dc0 100644 --- a/help/merge_greaterthan.md +++ b/help/merge_greaterthan.md @@ -11,13 +11,13 @@ All elements must have the same rank. Returns atomic values as is. - a ← ⟨⟨1, 2⟩, ⟨3, 4⟩⟩ + a ← ⟨⟨1, 2⟩, ⟨3, 4⟩⟩ - >a + >a - ≢a + ≢a - ≢>a + ≢>a @@ -28,8 +28,8 @@ Returns atomic values as is. [Pervasive.](../doc/arithmetic.md#pervasion) - 1 > 3 + 1 > 3 - 2‿3‿0 > 3‿1‿0 + 2‿3‿0 > 3‿1‿0 - 'a' > 'b' + 'a' > 'b' |