From bc0245f0be38e547ad76bcd719c6dedbb161f0f4 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 24 Jan 2022 20:18:08 -0500 Subject: Remove extra leading spaces from code examples --- help/choose.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'help/choose.md') 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 -- cgit v1.2.3