From 723f2735dbd59f6000caecddccf321c8b03512fa Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 27 Jul 2021 22:28:33 -0400 Subject: Undo documentation --- docs/doc/repeat.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/doc/repeat.html') diff --git a/docs/doc/repeat.html b/docs/doc/repeat.html index 2de6fd6e..bfbe28e5 100644 --- a/docs/doc/repeat.html +++ b/docs/doc/repeat.html @@ -17,7 +17,7 @@ F⍟4 ←→ F∘F∘F∘F

F⍟0 repeats F zero times, that is, does nothing. Like n⋆0 gives the multiplicative identity 1, F⍟0 is the compositional identity, ⊢. Since F⍟1 applies F and F⍟0 doesn't, Repeat might be pronounced "if" or "conditional" when 𝔾 is boolean.

-

BQN's Repeat modifier has some extra functionality relative to the mathematical version. It allows a left argument, and some extensions to the right operand 𝔾. As usual for 2-modifiers, 𝔾 is actually a function that applies to the arguments to give a result. The result can be a natural number as shown above, or a negative number to Undo (⁼) 𝔽, or an array of values.

+

BQN's Repeat modifier has some extra functionality relative to the mathematical version. It allows a left argument, and some extensions to the right operand 𝔾. As usual for 2-modifiers, 𝔾 is actually a function that applies to the arguments to give a result. The result can be a natural number as shown above, or a negative number to Undo (⁼) 𝔽, or an array of values.

Left argument

If 𝕨 is given, it's passed as the left argument to 𝔽 for every invocation.

↗️
    3 +⍟2 7
-- 
cgit v1.2.3