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/choose.md | |
| parent | 5566ea9429f75b54a8cffb9ebea7747ea651d52c (diff) | |
Remove extra leading spaces from code examples
Diffstat (limited to 'help/choose.md')
| -rw-r--r-- | help/choose.md | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/help/choose.md b/help/choose.md index 3c03c1ec..02ebfc23 100644 --- a/help/choose.md +++ b/help/choose.md @@ -6,12 +6,12 @@ Apply `𝔽` to the arguments and use the result to [pick](first_pick.md#𝕨--𝕩-pick) (`⊑`) a function from list `𝕘`. Apply the picked function to the arguments. - F ← ⊢◶+‿-‿÷‿× + F ← ⊢◶+‿-‿÷‿× - F 0 + F 0 - F 1 + F 1 - F 2 + F 2 - F 3 + F 3 |