diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-19 22:23:17 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-19 22:23:17 -0500 |
| commit | c59b76358bb567169719b11d816ec8a0a28098c4 (patch) | |
| tree | 65891497b170890526ce9b8a292cb98ddfd554f5 /help/first_pick.md | |
| parent | f74ae588caad19f498440bd8e848d8df5724174e (diff) | |
| parent | a5838f0e455ddb150d9c7b98d5e060dcf70fdefc (diff) | |
Merge pull request #57 from razetime/master
REPL error fixes
Diffstat (limited to 'help/first_pick.md')
| -rw-r--r-- | help/first_pick.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/help/first_pick.md b/help/first_pick.md index c415b8f9..c85be515 100644 --- a/help/first_pick.md +++ b/help/first_pick.md @@ -20,8 +20,8 @@ Pick the element of `𝕨` at index `𝕩`. 2 ⊑ ⟨1, 2, 3⟩ - a ← 3‿3 ⥊ ↕9 + b ← 3‿3 ⥊ ↕9 - 2‿0 ⊑ a + 2‿0 ⊑ b |