From 1415a4e3875092b9a367fac4f1c1e88945eb8836 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Goran=20Pjevic=CC=81?= Date: Sat, 10 Dec 2022 06:37:18 +0100 Subject: fix a typo --- docs/help/repeat.html | 2 +- help/repeat.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/help/repeat.html b/docs/help/repeat.html index 8bb6e6fe..c12a77e1 100644 --- a/docs/help/repeat.html +++ b/docs/help/repeat.html @@ -7,7 +7,7 @@

Circle Star (⍟)

𝔽⍟𝔾 𝕩, 𝕨 𝔽⍟𝔾 𝕩: Repeat

→full documentation

-

Apply 𝔾 to 𝕨 and 𝕩, then apply 𝔽 to 𝕩 that may times. If 𝕨 is given, use it each time as a constant left argument.

+

Apply 𝔾 to 𝕨 and 𝕩, then apply 𝔽 to 𝕩 that many times. If 𝕨 is given, use it each time as a constant left argument.

If 𝔾 returns an array, give 𝔽⍟𝕩 for each of its elements.

↗️
    1 +⍟⊢ 4
 8
diff --git a/help/repeat.md b/help/repeat.md
index 2ddd1881..3cd58772 100644
--- a/help/repeat.md
+++ b/help/repeat.md
@@ -5,7 +5,7 @@
 ## `𝔽⍟𝔾 𝕩`, `𝕨 𝔽⍟𝔾 𝕩`: Repeat
 [→full documentation](../doc/repeat.md)
 
-Apply `𝔾` to `𝕨` and `𝕩`, then apply `𝔽` to `𝕩` that may times. If `𝕨` is given, use it each time as a constant left argument.
+Apply `𝔾` to `𝕨` and `𝕩`, then apply `𝔽` to `𝕩` that many times. If `𝕨` is given, use it each time as a constant left argument.
 
 If `𝔾` returns an array, give `𝔽⍟𝕩` for each of its elements.
 
-- 
cgit v1.2.3