diff options
| author | razetime <raghuallthetime@hotmail.com> | 2022-01-20 08:47:02 +0530 |
|---|---|---|
| committer | razetime <raghuallthetime@hotmail.com> | 2022-01-20 08:47:02 +0530 |
| commit | c6cab48977311e88bf26c0d5b25ee09b95817ab4 (patch) | |
| tree | 80ce0c319e06ddbf64da288161b49f844d98e142 /help/insert.md | |
| parent | 330846175fe6cfd52dee29e1db0d1726e31fb367 (diff) | |
fix repl redef errors
Diffstat (limited to 'help/insert.md')
| -rw-r--r-- | help/insert.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/help/insert.md b/help/insert.md index 0acfb575..b038b34f 100644 --- a/help/insert.md +++ b/help/insert.md @@ -19,11 +19,11 @@ Monadic insert, but use `𝕨` as initial right argument. If - a ← 3‿3 ⥊ ↕9 + b ← 3‿3 ⥊ ↕9 - 1‿1‿1 +˝ a + 1‿1‿1 +˝ b - 1 +˝ a + 1 +˝ b 0‿1‿2 + 3‿4‿5 + 6‿7‿8 + 1‿1‿1 |