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/first_pick.md | |
| parent | 5566ea9429f75b54a8cffb9ebea7747ea651d52c (diff) | |
Remove extra leading spaces from code examples
Diffstat (limited to 'help/first_pick.md')
| -rw-r--r-- | help/first_pick.md | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/help/first_pick.md b/help/first_pick.md index c9c0093e..deb09cc3 100644 --- a/help/first_pick.md +++ b/help/first_pick.md @@ -6,11 +6,11 @@ First element of `𝕩`. - ⊑ ⟨1, 2, 3⟩ + ⊑ ⟨1, 2, 3⟩ - a ← 3‿3 ⥊ ↕9 + a ← 3‿3 ⥊ ↕9 - ⊑ a + ⊑ a @@ -18,8 +18,8 @@ First element of `𝕩`. Pick the element of `𝕨` at index `𝕩`. - 2 ⊑ ⟨1, 2, 3⟩ + 2 ⊑ ⟨1, 2, 3⟩ - b ← 3‿3 ⥊ ↕9 + b ← 3‿3 ⥊ ↕9 - 2‿0 ⊑ b + 2‿0 ⊑ b |