From 6c111f1e71e945f66977aecc3322318aa21beacc Mon Sep 17 00:00:00 2001 From: razetime Date: Wed, 19 Jan 2022 21:21:13 +0530 Subject: Primitive Symbol help pages generated --- docs/help/!assert assertwithmsg.html | 31 +++++++++++ docs/help/+conjugate add.html | 23 +++++++++ docs/help/-negate subtract.html | 27 ++++++++++ docs/help/merge great.html | 33 ++++++++++++ docs/help/`scan.html | 29 +++++++++++ docs/help/sindices replicate.html | 22 ++++++++ docs/help/|abs modulus.html | 23 +++++++++ "docs/help/\302\250each.html" | 18 +++++++ "docs/help/\302\253shiftbefore.html" | 37 +++++++++++++ "docs/help/\302\254not span.html" | 23 +++++++++ "docs/help/\302\264fold.html" | 29 +++++++++++ "docs/help/\302\273shiftafter.html" | 37 +++++++++++++ "docs/help/\303\227sign multiply.html" | 26 ++++++++++ "docs/help/\303\267reciprocal divide.html" | 18 +++++++ "docs/help/\313\230cells.html" | 29 +++++++++++ "docs/help/\313\231constant.html" | 14 +++++ "docs/help/\313\234self swap.html" | 21 ++++++++ "docs/help/\342\201\274undo.html" | 22 ++++++++ "docs/help/\342\206\221prefixes take.html" | 60 ++++++++++++++++++++++ "docs/help/\342\206\223suffixes drop.html" | 50 ++++++++++++++++++ "docs/help/\342\206\225range windows.html" | 50 ++++++++++++++++++ "docs/help/\342\210\212markfirst memberof.html" | 37 +++++++++++++ "docs/help/\342\210\230atop.html" | 25 +++++++++ "docs/help/\342\210\232squareroot root.html" | 20 ++++++++ "docs/help/\342\210\247sortup and.html" | 20 ++++++++ "docs/help/\342\210\250sortdown or.html" | 22 ++++++++ "docs/help/\342\210\276join jointo.html" | 59 +++++++++++++++++++++ "docs/help/\342\211\215solo couple.html" | 42 +++++++++++++++ "docs/help/\342\211\240length notequal.html" | 29 +++++++++++ "docs/help/\342\211\241depth match.html" | 23 +++++++++ "docs/help/\342\211\242shape notmatch.html" | 23 +++++++++ "docs/help/\342\211\244lessequal.html" | 15 ++++++ "docs/help/\342\211\245greatequal.html" | 15 ++++++ "docs/help/\342\212\217firstcell select.html" | 38 ++++++++++++++ "docs/help/\342\212\220classify indexof.html" | 36 +++++++++++++ "docs/help/\342\212\221first pick.html" | 33 ++++++++++++ "docs/help/\342\212\222occcount progindex.html" | 24 +++++++++ "docs/help/\342\212\224groupindices group.html" | 29 +++++++++++ "docs/help/\342\212\230valences.html" | 21 ++++++++ "docs/help/\342\212\242identity right.html" | 19 +++++++ "docs/help/\342\212\243identity left.html" | 19 +++++++ "docs/help/\342\212\270before bindleft.html" | 35 +++++++++++++ "docs/help/\342\213\206exponential power.html" | 23 +++++++++ "docs/help/\342\213\210enlist pair.html" | 36 +++++++++++++ "docs/help/\342\214\210ceiling maximum.html" | 21 ++++++++ "docs/help/\342\214\212floor minimum.html" | 21 ++++++++ "docs/help/\342\214\234table.html" | 23 +++++++++ "docs/help/\342\214\275reverse rotate.html" | 41 +++++++++++++++ "docs/help/\342\214\276under.html" | 23 +++++++++ .../help/\342\215\211transpose dyadtranspose.html" | 36 +++++++++++++ "docs/help/\342\215\213gradeup binsup.html" | 26 ++++++++++ "docs/help/\342\215\222gradedown binsdown.html" | 27 ++++++++++ "docs/help/\342\215\237repeat.html" | 17 ++++++ "docs/help/\342\215\267deduplicate find.html" | 55 ++++++++++++++++++++ "docs/help/\342\216\211rank.html" | 38 ++++++++++++++ "docs/help/\342\216\212catch.html" | 16 ++++++ "docs/help/\342\227\213over.html" | 25 +++++++++ "docs/help/\342\227\266choose.html" | 20 ++++++++ "docs/help/\342\232\207depth.html" | 14 +++++ "docs/help/\342\237\234after bindright.html" | 35 +++++++++++++ "docs/help/\342\245\212deshape reshape.html" | 42 +++++++++++++++ 63 files changed, 1797 insertions(+) create mode 100644 docs/help/!assert assertwithmsg.html create mode 100644 docs/help/+conjugate add.html create mode 100644 docs/help/-negate subtract.html create mode 100644 docs/help/merge great.html create mode 100644 docs/help/`scan.html create mode 100644 docs/help/sindices replicate.html create mode 100644 docs/help/|abs modulus.html create mode 100644 "docs/help/\302\250each.html" create mode 100644 "docs/help/\302\253shiftbefore.html" create mode 100644 "docs/help/\302\254not span.html" create mode 100644 "docs/help/\302\264fold.html" create mode 100644 "docs/help/\302\273shiftafter.html" create mode 100644 "docs/help/\303\227sign multiply.html" create mode 100644 "docs/help/\303\267reciprocal divide.html" create mode 100644 "docs/help/\313\230cells.html" create mode 100644 "docs/help/\313\231constant.html" create mode 100644 "docs/help/\313\234self swap.html" create mode 100644 "docs/help/\342\201\274undo.html" create mode 100644 "docs/help/\342\206\221prefixes take.html" create mode 100644 "docs/help/\342\206\223suffixes drop.html" create mode 100644 "docs/help/\342\206\225range windows.html" create mode 100644 "docs/help/\342\210\212markfirst memberof.html" create mode 100644 "docs/help/\342\210\230atop.html" create mode 100644 "docs/help/\342\210\232squareroot root.html" create mode 100644 "docs/help/\342\210\247sortup and.html" create mode 100644 "docs/help/\342\210\250sortdown or.html" create mode 100644 "docs/help/\342\210\276join jointo.html" create mode 100644 "docs/help/\342\211\215solo couple.html" create mode 100644 "docs/help/\342\211\240length notequal.html" create mode 100644 "docs/help/\342\211\241depth match.html" create mode 100644 "docs/help/\342\211\242shape notmatch.html" create mode 100644 "docs/help/\342\211\244lessequal.html" create mode 100644 "docs/help/\342\211\245greatequal.html" create mode 100644 "docs/help/\342\212\217firstcell select.html" create mode 100644 "docs/help/\342\212\220classify indexof.html" create mode 100644 "docs/help/\342\212\221first pick.html" create mode 100644 "docs/help/\342\212\222occcount progindex.html" create mode 100644 "docs/help/\342\212\224groupindices group.html" create mode 100644 "docs/help/\342\212\230valences.html" create mode 100644 "docs/help/\342\212\242identity right.html" create mode 100644 "docs/help/\342\212\243identity left.html" create mode 100644 "docs/help/\342\212\270before bindleft.html" create mode 100644 "docs/help/\342\213\206exponential power.html" create mode 100644 "docs/help/\342\213\210enlist pair.html" create mode 100644 "docs/help/\342\214\210ceiling maximum.html" create mode 100644 "docs/help/\342\214\212floor minimum.html" create mode 100644 "docs/help/\342\214\234table.html" create mode 100644 "docs/help/\342\214\275reverse rotate.html" create mode 100644 "docs/help/\342\214\276under.html" create mode 100644 "docs/help/\342\215\211transpose dyadtranspose.html" create mode 100644 "docs/help/\342\215\213gradeup binsup.html" create mode 100644 "docs/help/\342\215\222gradedown binsdown.html" create mode 100644 "docs/help/\342\215\237repeat.html" create mode 100644 "docs/help/\342\215\267deduplicate find.html" create mode 100644 "docs/help/\342\216\211rank.html" create mode 100644 "docs/help/\342\216\212catch.html" create mode 100644 "docs/help/\342\227\213over.html" create mode 100644 "docs/help/\342\227\266choose.html" create mode 100644 "docs/help/\342\232\207depth.html" create mode 100644 "docs/help/\342\237\234after bindright.html" create mode 100644 "docs/help/\342\245\212deshape reshape.html" (limited to 'docs/help') diff --git a/docs/help/!assert assertwithmsg.html b/docs/help/!assert assertwithmsg.html new file mode 100644 index 00000000..dd6108d1 --- /dev/null +++ b/docs/help/!assert assertwithmsg.html @@ -0,0 +1,31 @@ + + + + BQN: Exclamation Mark (`!`) + + +

Exclamation Mark (!)

+

! 𝕩: Assert

+

Throw an error if 𝕩 is not 1.

+
   ! 1
+1
+   ! 2
+Error: Assertion error
+at ! 2
+   ^
+   ! "hello"
+Error: hello
+at ! "hello"
+
+

𝕨 ! 𝕩: Dyad

+

Throw an error with message 𝕨 if 𝕩 is not 1.

+
   "hi" ! 1
+1
+   "two" ! 2
+Error: two
+at "two" ! 2
+         ^
+   "hello error" ! "hello"
+Error: hello error
+at "hello error" ! "hello"
+
diff --git a/docs/help/+conjugate add.html b/docs/help/+conjugate add.html new file mode 100644 index 00000000..57655273 --- /dev/null +++ b/docs/help/+conjugate add.html @@ -0,0 +1,23 @@ + + + + BQN: Plus (`+`) + + +

Plus (+)

+

+ 𝕩: Conjugate

+
  + 1
+1
+  + Β―1
+Β―1
+
+

𝕨 + 𝕩: Add

+

𝕨 added to 𝕩. Either 𝕨 or 𝕩 can be a character, and if so, the other has to be a number.

+

Pervasive.

+
  1 + 2
+3
+  1 + 2β€Ώ3β€Ώ4
+⟨ 3 4 5 ⟩
+  'a' + 4
+'e'
+
diff --git a/docs/help/-negate subtract.html b/docs/help/-negate subtract.html new file mode 100644 index 00000000..dd66ef1d --- /dev/null +++ b/docs/help/-negate subtract.html @@ -0,0 +1,27 @@ + + + + BQN: Minus (`-`) + + +

Minus (-)

+

- 𝕩: Negate

+

Additive Inverse of 𝕩.

+

Pervasive.

+
  - 1
+Β―1
+  - Β―1
+1
+
+

𝕨 - 𝕩: Subtract

+

Subtract 𝕩 from 𝕨. 𝕨 and 𝕩 can be characters or numbers.

+

Pervasive.

+
  1 - 2
+Β―1
+  1 - 2β€Ώ3β€Ώ4
+⟨ ¯1 ¯2 ¯3 ⟩
+  'a' - 4
+']'
+  'b' - 'a'
+1
+
diff --git a/docs/help/ + + + BQN: Lesser Than (`<`) + + +

Lesser Than (<)

+

< 𝕩: Enclose

+

Create a unit array containing 𝕩. ((≒𝕩) ≑ ⟨⟩)

+
  <1
+β”ŒΒ·   
+Β· 1  
+    β”˜
+
+  β‰’<1
+⟨⟩
+
+

𝕨 < 𝕩: Lesser Than

+

𝕨 and 𝕩 can both be either numbers or characters.

+

Pervasive.

+
  1 < 3
+1
+  2β€Ώ3β€Ώ0 < 3β€Ώ1β€Ώ0
+⟨ 1 0 0 ⟩
+
diff --git a/docs/help/=rank equal.html b/docs/help/=rank equal.html new file mode 100644 index 00000000..7183739a --- /dev/null +++ b/docs/help/=rank equal.html @@ -0,0 +1,27 @@ + + + + BQN: Equal (`=`) + + +

Equal (=)

+

= 𝕩: Rank

+

Returns the number of dimensions in 𝕩.

+
  = 0
+0
+  = 3β₯Š0
+1
+  = 3β€Ώ3β₯Š0
+2
+  3β€Ώ3β€Ώ3 β₯Š ⟨⟨0⟩⟩
+3
+
+

𝕨 = 𝕩: Equal To

+

Pervasive.

+
  1 = 3
+0
+  2β€Ώ3β€Ώ0 = 3β€Ώ1β€Ώ0
+⟨ 0 0 1 ⟩
+  'a' = 'a'
+1
+
diff --git a/docs/help/>merge great.html b/docs/help/>merge great.html new file mode 100644 index 00000000..9036a838 --- /dev/null +++ b/docs/help/>merge great.html @@ -0,0 +1,33 @@ + + + + BQN: Greater Than (`>`) + + +

Greater Than (>)

+

> 𝕩: Merge

+

Add the rank of an element of 𝕩 to the rank of 𝕩.

+

All elements must have the same rank.

+

Returns atomic values as is.

+
  a ← ⟨⟨1, 2⟩, ⟨3, 4⟩⟩
+⟨ ⟨ 1 2 ⟩ ⟨ 3 4 ⟩ ⟩
+  >a
+β”Œβ”€     
+β•΅ 1 2  
+  3 4  
+      β”˜
+  β‰’a
+⟨ 2 ⟩
+  β‰’>a
+⟨ 2 2 ⟩
+
+

𝕨 > 𝕩: Greater Than

+

𝕨 and 𝕩 can both be either numbers or characters.

+

Pervasive.

+
  1 > 3
+0
+  2β€Ώ3β€Ώ0 > 3β€Ώ1β€Ώ0
+⟨ 0 1 0 ⟩
+  'a' > 'b'
+1
+
diff --git a/docs/help/`scan.html b/docs/help/`scan.html new file mode 100644 index 00000000..ff518e99 --- /dev/null +++ b/docs/help/`scan.html @@ -0,0 +1,29 @@ + + + + BQN: Acute Accent (`` ` ``) + + +

Acute Accent (`)

+

𝔽` 𝕩: Fold

+

Scan over 𝕩 with 𝔽 from left to right, producing intermediate values.

+
   +` 1β€Ώ2β€Ώ3
+⟨ 1 3 6 ⟩
+   ⟨1, 1+2, (1+2)+3⟩
+⟨ 1 3 6 ⟩
+   -` 1β€Ώ2β€Ώ3
+⟨ 1 ¯1 ¯4 ⟩
+   ⟨1, 1-2, (1-2)-3⟩
+⟨ 1 ¯1 ¯4 ⟩
+
+

𝕨 𝔽` 𝕩: Scan With initial

+

Monadic scan, but use 𝕨 as initial left argument.

+
   5 +` 1β€Ώ2β€Ώ3
+⟨ 6 8 11 ⟩
+   ⟨5+1, (5+1)+2, ((5+1)+2)+3⟩
+⟨ 6 8 11 ⟩
+   5 -` 1β€Ώ2β€Ώ3
+⟨ 4 2 ¯1 ⟩
+   ⟨5-1, (5-1)-2, ((5-1)-2)-3⟩
+⟨ 4 2 ¯1 ⟩
+
diff --git a/docs/help/sindices replicate.html b/docs/help/sindices replicate.html new file mode 100644 index 00000000..85d4f107 --- /dev/null +++ b/docs/help/sindices replicate.html @@ -0,0 +1,22 @@ + + + + BQN: Solidus (`/`) + + +

Solidus (/)

+

/ 𝕩: Indices

+

Repeat the index of each element in 𝕩 by the element's value. 𝕩 must be rank 1.

+
   / 1β€Ώ2β€Ώ3
+⟨ 0 1 1 2 2 2 ⟩
+   / 1β€Ώ0β€Ώ1
+⟨ 0 2 ⟩
+
+

𝕨 / 𝕩: Replicate

+

Repeat each major cell in 𝕩 by the corresponding element in 𝕨.

+

Atomic 𝕨 applies to all elements.

+
   3 / "copy"
+"cccooopppyyy"
+   1β€Ώ0β€Ώ1 / 1β€Ώ2β€Ώ3
+⟨ 1 3 ⟩
+
diff --git a/docs/help/|abs modulus.html b/docs/help/|abs modulus.html new file mode 100644 index 00000000..b79e7768 --- /dev/null +++ b/docs/help/|abs modulus.html @@ -0,0 +1,23 @@ + + + + BQN: Pipe (`|`) + + +

Pipe (|)

+

| 𝕩: Absolute Value

+

Absolute Value of 𝕩.

+

Pervasive.

+
  | Β―2
+2
+  | 1β€Ώ3β€ΏΒ―4β€Ώ3
+⟨ 1 3 4 3 ⟩
+
+

𝕨 | 𝕩: Modulus

+

Remainder of 𝕩 divided by 𝕨.

+

Pervasive.

+
  1 | 3
+0
+  2 | 3β€Ώ4β€Ώ5
+⟨ 1 0 1 ⟩
+
diff --git "a/docs/help/\302\250each.html" "b/docs/help/\302\250each.html" new file mode 100644 index 00000000..77befda5 --- /dev/null +++ "b/docs/help/\302\250each.html" @@ -0,0 +1,18 @@ + + + + BQN: Diaresis (`Β¨`) + + +

Diaresis (Β¨)

+

𝔽¨ 𝕩, 𝕨 𝔽¨ 𝕩: Each

+

Apply 𝔽 to/between the major elements of the arguments. (π”½βš‡Β―1)

+
   <Β¨ 1β€Ώ2β€Ώ3
+β”Œβ”€                   
+Β· β”ŒΒ·    β”ŒΒ·    β”ŒΒ·     
+  Β· 1   Β· 2   Β· 3    
+      β”˜     β”˜     β”˜  
+                    β”˜
+   4β€Ώ5β€Ώ6 ∾¨ 1β€Ώ2β€Ώ3
+⟨ ⟨ 4 1 ⟩ ⟨ 5 2 ⟩ ⟨ 6 3 ⟩ ⟩
+
diff --git "a/docs/help/\302\253shiftbefore.html" "b/docs/help/\302\253shiftbefore.html" new file mode 100644 index 00000000..a00dab2a --- /dev/null +++ "b/docs/help/\302\253shiftbefore.html" @@ -0,0 +1,37 @@ + + + + BQN: Left Pointing Double Angle Quotation (`Β«`) + + +

Left Pointing Double Angle Quotation (Β«)

+

Β« 𝕩: Shift Before

+

Remove the first element of 𝕩, add a cell of fill values to the end of the first axis of 𝕩.

+
   78 Β« 1β€Ώ2β€Ώ3
+⟨ 1 2 78 ⟩
+   Β« 1β€Ώ2β€Ώ3
+⟨ 2 3 0 ⟩
+   Β« 3β€Ώ3 β₯Š 9
+β”Œβ”€       
+β•΅ 9 9 9  
+  9 9 9  
+  0 0 0  
+        β”˜
+
+

𝕨 Β« 𝕩: Shift Before

+

Remove the first ≠𝕨 (length) major cells from 𝕩, join 𝕨 to the end of 𝕩. Ranks must match.

+
   8β€Ώ5 Β« 1β€Ώ2β€Ώ3
+⟨ 3 8 5 ⟩
+   a ← 3β€Ώ3 β₯Š 9
+β”Œβ”€       
+β•΅ 9 9 9  
+  9 9 9  
+  9 9 9  
+        β”˜
+   1β€Ώ2β€Ώ3 Β« a
+β”Œβ”€       
+β•΅ 9 9 9  
+  9 9 9  
+  1 2 3  
+        β”˜
+
diff --git "a/docs/help/\302\254not span.html" "b/docs/help/\302\254not span.html" new file mode 100644 index 00000000..1cb72c28 --- /dev/null +++ "b/docs/help/\302\254not span.html" @@ -0,0 +1,23 @@ + + + + BQN: Not (`Β¬`) + + +

Not (Β¬)

+

Β¬ 𝕩: Logical Not

+

Logical Not of 𝕩.

+

Pervasive.

+
  Β¬ 0
+1
+  Β¬ 1β€Ώ0
+⟨ 0 1 ⟩
+
+

𝕨 Β¬ 𝕩: Span

+

Count of numbers in the inclusive range from 𝕩 to 𝕨.

+

Pervasive.

+
  3 Β¬ 1
+3
+  3β€Ώ4 Β¬ 0β€Ώ2
+⟨ 4 3 ⟩
+
diff --git "a/docs/help/\302\264fold.html" "b/docs/help/\302\264fold.html" new file mode 100644 index 00000000..a8f493df --- /dev/null +++ "b/docs/help/\302\264fold.html" @@ -0,0 +1,29 @@ + + + + BQN: Acute Accent (`Β΄`) + + +

Acute Accent (Β΄)

+

𝔽´ 𝕩: Fold

+

Fold over 𝕩 with 𝔽 from right to left i.e. Insert 𝔽 between the elements of 𝕩.

+
   +Β΄ 1β€Ώ2β€Ώ3
+6
+   1+2+3
+6
+   -Β΄ 1β€Ώ2β€Ώ3
+2
+   1-2-3
+2
+
+

𝕨 𝔽´ 𝕩: Fold With initial

+

Monadic fold, but use 𝕨 as initial right argument.

+
   5 +Β΄ 1β€Ώ2β€Ώ3
+11
+   1+2+3+5
+11
+   5 -Β΄ 1β€Ώ2β€Ώ3
+Β―3
+   1-2-3-5
+Β―3
+
diff --git "a/docs/help/\302\273shiftafter.html" "b/docs/help/\302\273shiftafter.html" new file mode 100644 index 00000000..c60a807a --- /dev/null +++ "b/docs/help/\302\273shiftafter.html" @@ -0,0 +1,37 @@ + + + + BQN: Right Pointing Double Angle Quotation (`Β»`) + + +

Right Pointing Double Angle Quotation (Β»)

+

Β» 𝕩: Shift After

+

Remove the last element of 𝕩, add a cell of fill values to the start of the first axis of 𝕩.

+
   Β» 1β€Ώ2β€Ώ3
+⟨ 0 1 2 ⟩
+   Β» 3β€Ώ3 β₯Š 9
+β”Œβ”€       
+β•΅ 0 0 0  
+  9 9 9  
+  9 9 9  
+        β”˜
+
+

𝕨 Β» 𝕩: Shift After

+

Remove the last ≠𝕨 (length) major cells from 𝕩, join 𝕨 to the start of 𝕩. Ranks must match.

+
   78 Β» 1β€Ώ2β€Ώ3
+⟨ 78 1 2 ⟩
+   1β€Ώ2 Β» 1β€Ώ2β€Ώ3
+⟨ 1 2 1 ⟩
+   a ← 3β€Ώ3 β₯Š 9
+β”Œβ”€       
+β•΅ 9 9 9  
+  9 9 9  
+  9 9 9  
+        β”˜
+   1β€Ώ2β€Ώ3 Β» a
+β”Œβ”€       
+β•΅ 1 2 3  
+  9 9 9  
+  9 9 9  
+        β”˜
+
diff --git "a/docs/help/\303\227sign multiply.html" "b/docs/help/\303\227sign multiply.html" new file mode 100644 index 00000000..512c22c0 --- /dev/null +++ "b/docs/help/\303\227sign multiply.html" @@ -0,0 +1,26 @@ + + + + BQN: Times (`Γ—`) + + +

Times (Γ—)

+

Γ— 𝕩: Sign

+

Sign of 𝕩.

+
    +
  • Β―1 if 𝕩 < 0
  • +
  • 0 if 𝕩 = 0
  • +
  • 1 if 𝕩 > 0
  • +
+

Pervasive.

+
  Γ— Β―5β€Ώ0β€Ώ5β€Ώ1
+⟨ ¯1 0 1 1 ⟩
+
+

𝕨 Γ— 𝕩: Multiply

+

𝕨 multiplied by 𝕩.

+

Pervasive.

+
  1 Γ— 2
+2
+  2 Γ— 2β€Ώ3β€Ώ4
+⟨ 4 6 8 ⟩
+
diff --git "a/docs/help/\303\267reciprocal divide.html" "b/docs/help/\303\267reciprocal divide.html" new file mode 100644 index 00000000..4b101e04 --- /dev/null +++ "b/docs/help/\303\267reciprocal divide.html" @@ -0,0 +1,18 @@ + + + + BQN: Divide (`Γ·`) + + +

Divide (Γ·)

+

Γ· 𝕩: Reciprocal

+

Gives 1 Γ· 𝕩.

+

Pervasive.

+
  Γ· 5
+0.2
+
+

𝕨 Γ· 𝕩: Divide

+

𝕨 divided by 𝕩.

+

Pervasive.

+
ExamplesIfAny
+
diff --git "a/docs/help/\313\230cells.html" "b/docs/help/\313\230cells.html" new file mode 100644 index 00000000..e5ad35f0 --- /dev/null +++ "b/docs/help/\313\230cells.html" @@ -0,0 +1,29 @@ + + + + BQN: Breve (`˘`) + + +

Breve (˘)

+

π”½Λ˜ 𝕩, 𝕨 π”½Λ˜ 𝕩: Cells

+

Apply 𝔽 to/between the major cells of the arguments. (π”½βŽ‰Β―1)

+
   a ← 3β€Ώ3 β₯Š ↕9
+β”Œβ”€       
+β•΅ 0 1 2  
+  3 4 5  
+  6 7 8  
+        β”˜
+   <˘ a
+⟨ ⟨ 0 1 2 ⟩ ⟨ 3 4 5 ⟩ ⟨ 6 7 8 ⟩ ⟩
+   a β‰Λ˜ a
+β”Œβ”€       
+β•Ž 0 1 2  
+  0 1 2  
+         
+  3 4 5  
+  3 4 5  
+         
+  6 7 8  
+  6 7 8  
+        β”˜
+
diff --git "a/docs/help/\313\231constant.html" "b/docs/help/\313\231constant.html" new file mode 100644 index 00000000..60277f67 --- /dev/null +++ "b/docs/help/\313\231constant.html" @@ -0,0 +1,14 @@ + + + + BQN: Dot Above (`Λ™`) + + +

Dot Above (Λ™)

+

𝔽˙ 𝕩, 𝕨 𝔽˙ 𝕩: Constant

+

Returns a function that will always return 𝕗.

+
   "hello" (1 Λ™) 2
+1
+   "hello" ({𝕨+𝕩} Λ™) 2
+(function block)
+
diff --git "a/docs/help/\313\234self swap.html" "b/docs/help/\313\234self swap.html" new file mode 100644 index 00000000..7e2ac485 --- /dev/null +++ "b/docs/help/\313\234self swap.html" @@ -0,0 +1,21 @@ + + + + BQN: Small Tilde (`˜`) + + +

Small Tilde (˜)

+

π”½Λœ 𝕩: Self

+

Supplies 𝕩 as a left argument to 𝔽 (𝕩 𝔽 𝕩).

+
   1 + 1
+2
+   +˜ 1
+2
+
+

𝕨 π”½Λœ 𝕩: Swap

+

Swaps the arguments of 𝔽 (𝕩 𝔽 𝕨).

+
   1 - 2
+Β―1
+   1 -˜ 2
+1
+
diff --git "a/docs/help/\342\201\274undo.html" "b/docs/help/\342\201\274undo.html" new file mode 100644 index 00000000..71689517 --- /dev/null +++ "b/docs/help/\342\201\274undo.html" @@ -0,0 +1,22 @@ + + + + BQN: Superscript Equals Sign (`⁼`) + + +

Superscript Equals Sign (⁼)

+

𝔽⁼ 𝕩, 𝕨 𝔽⁼ 𝕩: Undo

+

Invert the function 𝔽, or use its defined inverse. Not all functions have inverses.

+
   1 - 2
+Β―1
+   1 -⁼ 2
+Β―1
+   √ 16
+4
+   √⁼ 4
+16
+   ⋆ 1
+2.718281828459045
+   ⋆⁼ 2.718281828459045
+1
+
diff --git "a/docs/help/\342\206\221prefixes take.html" "b/docs/help/\342\206\221prefixes take.html" new file mode 100644 index 00000000..32374c82 --- /dev/null +++ "b/docs/help/\342\206\221prefixes take.html" @@ -0,0 +1,60 @@ + + + + BQN: Up Arrow (`↑`) + + +

Up Arrow (↑)

+

↑ 𝕩: Prefixes

+

Prefixes of array 𝕩 along its first axis.

+
   ↑ 1β€Ώ2β€Ώ3β€Ώ4
+⟨ ⟨⟩ ⟨ 1 ⟩ ⟨ 1 2 ⟩ ⟨ 1 2 3 ⟩ ⟨ 1 2 3 4 ⟩ ⟩
+   a ← 3β€Ώ3 β₯Š ↕9
+β”Œβ”€       
+β•΅ 0 1 2  
+  3 4 5  
+  6 7 8  
+        β”˜
+   ↑ a
+β”Œβ”€                                    
+Β· ↕0β€Ώ3 β”Œβ”€        β”Œβ”€        β”Œβ”€         
+       β•΅ 0 1 2   β•΅ 0 1 2   β•΅ 0 1 2    
+               β”˜   3 4 5     3 4 5    
+                         β”˜   6 7 8    
+                                   β”˜  
+                                     β”˜
+
+

𝕨 ↑ 𝕩: Take

+

For each integer in 𝕨, take that many elements from each dimension of 𝕩.

+

Negative numbers take from the end.

+

If any of the elements in 𝕨 are greater than the length of their respective dimension, the dimension is extended with a fill value.

+
  3 ↑ 1β€Ώ3β€Ώ5β€Ώ67
+⟨ 1 3 5 ⟩
+  a ← 4β€Ώ4 β₯Š ↕16
+β”Œβ”€             
+β•΅  0  1  2  3  
+   4  5  6  7  
+   8  9 10 11  
+  12 13 14 15  
+              β”˜
+  3β€Ώ3 ↑ a
+β”Œβ”€        
+β•΅ 0 1  2  
+  4 5  6  
+  8 9 10  
+         β”˜
+  5β€Ώ5 ↑ a
+β”Œβ”€               
+β•΅  0  1  2  3 0  
+   4  5  6  7 0  
+   8  9 10 11 0  
+  12 13 14 15 0  
+   0  0  0  0 0  
+                β”˜
+  3β€ΏΒ―3 ↑ a
+β”Œβ”€         
+β•΅ 1  2  3  
+  5  6  7  
+  9 10 11  
+          β”˜
+
diff --git "a/docs/help/\342\206\223suffixes drop.html" "b/docs/help/\342\206\223suffixes drop.html" new file mode 100644 index 00000000..47856529 --- /dev/null +++ "b/docs/help/\342\206\223suffixes drop.html" @@ -0,0 +1,50 @@ + + + + BQN: Down Arrow (`↓`) + + +

Down Arrow (↓)

+

↓ 𝕩: Suffixes

+

Suffixes of array 𝕩 along its first axis.

+
   ↓ 1β€Ώ2β€Ώ3β€Ώ4
+⟨ ⟨ 1 2 3 4 ⟩ ⟨ 2 3 4 ⟩ ⟨ 3 4 ⟩ ⟨ 4 ⟩ ⟨⟩ ⟩
+   a ← 3β€Ώ3 β₯Š ↕9
+β”Œβ”€       
+β•΅ 0 1 2  
+  3 4 5  
+  6 7 8  
+        β”˜
+   ↓ a
+β”Œβ”€                                    
+Β· β”Œβ”€        β”Œβ”€        β”Œβ”€        ↕0β€Ώ3  
+  β•΅ 0 1 2   β•΅ 3 4 5   β•΅ 6 7 8         
+    3 4 5     6 7 8           β”˜       
+    6 7 8           β”˜                 
+          β”˜                           
+                                     β”˜
+
+

𝕨 ↓ 𝕩: Drop

+

For each integer in 𝕨, drop that many elements from the beginning of each dimension of 𝕩.

+

Negative numbers drop from the end.

+
   3 ↓ 1β€Ώ3β€Ώ5β€Ώ67
+⟨ 67 ⟩
+   a ← 4β€Ώ4 β₯Š ↕16
+β”Œβ”€             
+β•΅  0  1  2  3  
+   4  5  6  7  
+   8  9 10 11  
+  12 13 14 15  
+              β”˜
+   3β€Ώ3 ↓ a
+β”Œβ”€    
+β•΅ 15  
+     β”˜
+   5β€Ώ5 ↓ a
+β”Œβ”
+β””β”˜
+   3β€ΏΒ―3 ↓ a
+β”Œβ”€    
+β•΅ 12  
+     β”˜
+
diff --git "a/docs/help/\342\206\225range windows.html" "b/docs/help/\342\206\225range windows.html" new file mode 100644 index 00000000..c95dc2ea --- /dev/null +++ "b/docs/help/\342\206\225range windows.html" @@ -0,0 +1,50 @@ + + + + BQN: Up Down Arrow (`↕`) + + +

Up Down Arrow (↕)

+

↕ 𝕩: Range

+

Return all indices to index into an array of shape 𝕩, in the shape described by 𝕩.

+

When given a single number, range from 0 to 𝕩-1.

+
   ↕ 4
+⟨ 0 1 2 3 ⟩
+   ↕ 4β€Ώ5
+β”Œβ”€                                         
+β•΅ ⟨ 0 0 ⟩ ⟨ 0 1 ⟩ ⟨ 0 2 ⟩ ⟨ 0 3 ⟩ ⟨ 0 4 ⟩  
+  ⟨ 1 0 ⟩ ⟨ 1 1 ⟩ ⟨ 1 2 ⟩ ⟨ 1 3 ⟩ ⟨ 1 4 ⟩  
+  ⟨ 2 0 ⟩ ⟨ 2 1 ⟩ ⟨ 2 2 ⟩ ⟨ 2 3 ⟩ ⟨ 2 4 ⟩  
+  ⟨ 3 0 ⟩ ⟨ 3 1 ⟩ ⟨ 3 2 ⟩ ⟨ 3 3 ⟩ ⟨ 3 4 ⟩  
+                                          β”˜
+
+

𝕨 ↕ 𝕩: Windows

+

Overlapping slices of 𝕩 which are of shape 𝕨.

+
   5 ↕ "abcdefg"
+β”Œβ”€       
+β•΅"abcde  
+  bcdef  
+  cdefg" 
+        β”˜
+   a ← 3β€Ώ3β₯Šβ†•9
+β”Œβ”€       
+β•΅ 0 1 2  
+  3 4 5  
+  6 7 8  
+        β”˜
+   2β€Ώ2 ↕ a
+β”Œβ”€     
+┆ 0 1  
+  3 4  
+       
+  1 2  
+  4 5  
+       
+       
+  3 4  
+  6 7  
+       
+  4 5  
+  7 8  
+      β”˜
+
diff --git "a/docs/help/\342\210\212markfirst memberof.html" "b/docs/help/\342\210\212markfirst memberof.html" new file mode 100644 index 00000000..bf81acd1 --- /dev/null +++ "b/docs/help/\342\210\212markfirst memberof.html" @@ -0,0 +1,37 @@ + + + + BQN: Element Of (`∊`) + + +

Element Of (∊)

+

∊ 𝕩: Unique Mask

+

Mark the first occurrence of each major cell in 𝕩 with a 1, and all other occurrences with a 0.

+
   ∊ 4β€Ώ5β€Ώ6β€Ώ6β€Ώ4β€Ώ7β€Ώ5
+⟨ 1 1 1 0 0 1 0 ⟩
+   a ← 3β€Ώ3 β₯Š ↕9
+β”Œβ”€       
+β•΅ 0 1 2  
+  3 4 5  
+  6 7 8  
+        β”˜
+   ∊ a
+⟨ 1 1 1 ⟩
+
+

𝕨 ∊ 𝕩: Member Of

+

Is each element in 𝕨 a major cell of 𝕩?

+
   ⟨1⟩ ∊ ↕9
+⟨ 1 ⟩
+   a ← 3β€Ώ3 β₯Š ↕9
+β”Œβ”€       
+β•΅ 0 1 2  
+  3 4 5  
+  6 7 8  
+        β”˜
+   ⟨0β€Ώ1β€Ώ2⟩ ∊ a
+β”ŒΒ·   
+Β· 0  
+    β”˜
+   ⟨1β€Ώ3 β₯Š 0β€Ώ1β€Ώ2⟩ ∊ a
+⟨ 1 ⟩
+
diff --git "a/docs/help/\342\210\230atop.html" "b/docs/help/\342\210\230atop.html" new file mode 100644 index 00000000..64b7e88e --- /dev/null +++ "b/docs/help/\342\210\230atop.html" @@ -0,0 +1,25 @@ + + + + BQN: Ring Operator (`∘`) + + +

Ring Operator (∘)

+

π”½βˆ˜π”Ύ 𝕩: Atop

+

Apply 𝔾 to 𝕩, then apply 𝔽 (𝔽 𝔾 𝕩).

+

𝔽 and 𝔾 must be monadic.

+
   -∘- 5
+5
+   - - 5
+5
+
+

𝕨 π”½βˆ˜π”Ύ 𝕩: Dyadic Atop

+

Apply 𝔾 to 𝕨 and 𝕩, then apply 𝔽 (𝔽 (𝕨 𝔾 𝕩)).

+

𝔽 must be monadic, and 𝔾 must be dyadic.

+
   1 -∘+ 2
+Β―3
+   1 - + 2
+Β―1
+   - 1 + 2
+Β―3
+
diff --git "a/docs/help/\342\210\232squareroot root.html" "b/docs/help/\342\210\232squareroot root.html" new file mode 100644 index 00000000..368b5dc4 --- /dev/null +++ "b/docs/help/\342\210\232squareroot root.html" @@ -0,0 +1,20 @@ + + + + BQN: Root (`√`) + + +

Root (√)

+

√ 𝕩: Square root

+

Pervasive.

+
  √ 2
+1.4142135623730951
+
+

𝕨 √ 𝕩: Root

+

𝕨th root of 𝕩.

+

Pervasive.

+
  2 √ 2
+1.4142135623730951
+  1β€Ώ2β€Ώ3β€Ώ4 √ 4  
+⟨ 4 2 1.5874010519681994 1.414213562373095 ⟩
+
diff --git "a/docs/help/\342\210\247sortup and.html" "b/docs/help/\342\210\247sortup and.html" new file mode 100644 index 00000000..929aa02c --- /dev/null +++ "b/docs/help/\342\210\247sortup and.html" @@ -0,0 +1,20 @@ + + + + BQN: Logical And (`∧`) + + +

Logical And (∧)

+

∧ 𝕩: Sort Up

+

Sort array 𝕩 in ascending order.

+
  ∧ 3β€Ώ1β€Ώ4β€Ώ1β€Ώ5
+⟨ 1 1 3 4 5 ⟩
+
+

𝕨 ∧ 𝕩: Logical And

+

Logical And of 𝕨 and 𝕩.

+

Pervasive.

+
  1 ∧ 1
+1
+  1β€Ώ0 ∧ 1β€Ώ1
+⟨ 1 0 ⟩
+
diff --git "a/docs/help/\342\210\250sortdown or.html" "b/docs/help/\342\210\250sortdown or.html" new file mode 100644 index 00000000..f1387efa --- /dev/null +++ "b/docs/help/\342\210\250sortdown or.html" @@ -0,0 +1,22 @@ + + + + BQN: Logical Or (`∨`) + + +

Logical Or (∨)

+

∨ 𝕩: Sort Down

+

Sort array 𝕩 in descending order.

+
  ∨ 3β€Ώ1β€Ώ4β€Ώ1β€Ώ5
+⟨ 5 4 3 1 1 ⟩
+
+

𝕨 ∨ 𝕩: Logical Or

+

Logical Or of 𝕨 and 𝕩.

+

Pervasive.

+
  1 ∨ 0
+1
+  1β€Ώ0 ∨ 1β€Ώ1
+⟨ 1 1 ⟩
+  0 ∨ 0
+0
+
diff --git "a/docs/help/\342\210\276join jointo.html" "b/docs/help/\342\210\276join jointo.html" new file mode 100644 index 00000000..f7bdd34b --- /dev/null +++ "b/docs/help/\342\210\276join jointo.html" @@ -0,0 +1,59 @@ + + + + BQN: Lazy S (`∾`) + + +

Lazy S (∾)

+

∾ 𝕩: Join

+

Join all elements of 𝕩 together.

+

Element ranks must be compatible.

+
   ∾ ⟨1β€Ώ2, 3, 4β€Ώ5⟩
+⟨ 1 2 3 4 5 ⟩
+   m ← (3β€Ώ1β‰βŒœ4β€Ώ2β€Ώ5) β₯ŠΒ¨ 2β€Ώ3β₯Šβ†•6
+β”Œβ”€                                   
+β•΅ β”Œβ”€          β”Œβ”€      β”Œβ”€             
+  β•΅ 0 0 0 0   β•΅ 1 1   β•΅ 2 2 2 2 2    
+    0 0 0 0     1 1     2 2 2 2 2    
+    0 0 0 0     1 1     2 2 2 2 2    
+            β”˜       β”˜             β”˜  
+  β”Œβ”€          β”Œβ”€      β”Œβ”€             
+  β•΅ 3 3 3 3   β•΅ 4 4   β•΅ 5 5 5 5 5    
+            β”˜       β”˜             β”˜  
+                                    β”˜
+   ∾ m
+β”Œβ”€                       
+β•΅ 0 0 0 0 1 1 2 2 2 2 2  
+  0 0 0 0 1 1 2 2 2 2 2  
+  0 0 0 0 1 1 2 2 2 2 2  
+  3 3 3 3 4 4 5 5 5 5 5  
+                        β”˜
+
+

𝕨 ∾ 𝕩: Join

+

Join 𝕨 to 𝕩 along the first axis.

+
   "abcd" ∾ "EFG"
+"abcdEFG"
+   a ← 3β€Ώ3 β₯Š ↕9
+β”Œβ”€       
+β•΅ 0 1 2  
+  3 4 5  
+  6 7 8  
+        β”˜
+   c ← 4β€Ώ3 β₯Š ↕12 
+β”Œβ”€         
+β•΅ 0  1  2  
+  3  4  5  
+  6  7  8  
+  9 10 11  
+          β”˜
+   a∾c
+β”Œβ”€         
+β•΅ 0  1  2  
+  3  4  5  
+  6  7  8  
+  0  1  2  
+  3  4  5  
+  6  7  8  
+  9 10 11  
+          β”˜
+
diff --git "a/docs/help/\342\211\215solo couple.html" "b/docs/help/\342\211\215solo couple.html" new file mode 100644 index 00000000..03724b83 --- /dev/null +++ "b/docs/help/\342\211\215solo couple.html" @@ -0,0 +1,42 @@ + + + + BQN: Tape (`≍`) + + +

Tape (≍)

+

≍ 𝕩: Solo

+

Add a dimension to 𝕩.

+
  ≍ 1
+⟨ 1 ⟩
+  
+  ≍≍ 1
+β”Œβ”€   
+β•΅ 1  
+    β”˜
+  
+ ≍≍≍ 1
+β”Œβ”€   
+β•Ž 1  
+    β”˜
+  
+ ≍≍ 1β€Ώ2β€Ώ3β€Ώ4
+β”Œβ”€         
+β•΅ 1 2 3 4  
+          β”˜
+  
+ ≍≍≍ 1β€Ώ2β€Ώ3β€Ώ4
+β”Œβ”€         
+β•Ž 1 2 3 4  
+          β”˜
+
+

𝕨 ≍ 𝕩: Couple

+

Join 𝕨 and 𝕩 along a newly created axis.

+
   1 ≍ 3
+⟨ 1 3 ⟩
+   1β€Ώ2 ≍ 2β€Ώ3
+β”Œβ”€     
+β•΅ 1 2  
+  2 3  
+      β”˜
+
diff --git "a/docs/help/\342\211\240length notequal.html" "b/docs/help/\342\211\240length notequal.html" new file mode 100644 index 00000000..9be8af50 --- /dev/null +++ "b/docs/help/\342\211\240length notequal.html" @@ -0,0 +1,29 @@ + + + + BQN: Not Equal (`β‰ `) + + +

Not Equal (β‰ )

+

β‰  𝕩: Length

+

Length of the first dimension of 𝕩.

+
  β‰  3
+1
+  β‰  ⟨1, 2, 3⟩
+3 
+  β‰  3β€Ώ4β€Ώ5β₯Š0
+3 
+  β‰  1β€Ώ4β€Ώ5β₯Š0
+1 
+  β‰  4β€Ώ4β€Ώ5β₯Š0
+4
+
+

𝕨 β‰  𝕩: Not Equal To

+

Pervasive.

+
  1 β‰  3
+1
+  2β€Ώ3β€Ώ0 β‰  3β€Ώ1β€Ώ0
+⟨ 1 1 0 ⟩
+  'a' β‰  'a'
+0
+
diff --git "a/docs/help/\342\211\241depth match.html" "b/docs/help/\342\211\241depth match.html" new file mode 100644 index 00000000..54b53fff --- /dev/null +++ "b/docs/help/\342\211\241depth match.html" @@ -0,0 +1,23 @@ + + + + BQN: Identical To (`≑`) + + +

Identical To (≑)

+

≑ 𝕩: Depth

+

Highest level of nesting in 𝕩.

+
  ≑ 2β€Ώ3β€Ώ4
+1
+  ≑ ⟨2,<3,4,<<<5⟩
+4
+  ≑ 9
+0
+
+

𝕨 ≑ 𝕩: Match

+

Does 𝕨 exactly match 𝕩?

+
  1 ≑ ⟨1⟩
+0
+  ⟨1⟩ ≑ ⟨1⟩
+1
+
diff --git "a/docs/help/\342\211\242shape notmatch.html" "b/docs/help/\342\211\242shape notmatch.html" new file mode 100644 index 00000000..59f83326 --- /dev/null +++ "b/docs/help/\342\211\242shape notmatch.html" @@ -0,0 +1,23 @@ + + + + BQN: Not Identical To (`β‰’`) + + +

Not Identical To (β‰’)

+

β‰’ 𝕩: Shape

+

Length of each dimension of x.

+
  β‰’ 1
+⟨⟩
+  β‰’ 1β€Ώ2
+⟨ 2 ⟩
+  β‰’ 1β€Ώ2 ≍ 3β€Ώ4
+⟨ 2 2 ⟩
+
+

𝕨 β‰’ 𝕩: Not Match

+

Does 𝕨 not exactly match 𝕩?

+
  1 β‰’ ⟨1⟩
+1
+  ⟨1⟩ β‰’ ⟨1⟩
+0
+
diff --git "a/docs/help/\342\211\244lessequal.html" "b/docs/help/\342\211\244lessequal.html" new file mode 100644 index 00000000..c83d1ed7 --- /dev/null +++ "b/docs/help/\342\211\244lessequal.html" @@ -0,0 +1,15 @@ + + + + BQN: Lesser Than or Equal To (`≀`) + + +

Lesser Than or Equal To (≀)

+

𝕨 ≀ 𝕩: Lesser Than or Equal To

+

𝕨 and 𝕩 can both be either numbers or characters.

+

Pervasive.

+
  1 ≀ 3
+1
+  2β€Ώ3β€Ώ0 ≀ 3β€Ώ1β€Ώ0
+⟨ 1 0 1 ⟩
+
diff --git "a/docs/help/\342\211\245greatequal.html" "b/docs/help/\342\211\245greatequal.html" new file mode 100644 index 00000000..c4b989b0 --- /dev/null +++ "b/docs/help/\342\211\245greatequal.html" @@ -0,0 +1,15 @@ + + + + BQN: Greater Than or Equal To (`β‰₯`) + + +

Greater Than or Equal To (β‰₯)

+

𝕨 β‰₯ 𝕩: Greater Than or Equal To

+

𝕨 and 𝕩 can both be either numbers or characters.

+

Pervasive.

+
  1 β‰₯ 3
+0
+  2β€Ώ3β€Ώ0 β‰₯ 3β€Ώ1β€Ώ0
+⟨ 0 1 1 ⟩
+
diff --git "a/docs/help/\342\212\217firstcell select.html" "b/docs/help/\342\212\217firstcell select.html" new file mode 100644 index 00000000..fd81d404 --- /dev/null +++ "b/docs/help/\342\212\217firstcell select.html" @@ -0,0 +1,38 @@ + + + + BQN: Square Image Of (`⊏`) + + +

Square Image Of (⊏)

+

⊏ 𝕩: First Cell

+

First major cell of 𝕩.

+
   ⊏ ⟨1, 2, 3⟩
+β”ŒΒ·   
+Β· 1  
+    β”˜
+   a ← 3β€Ώ3 β₯Š ↕9
+β”Œβ”€       
+β•΅ 0 1 2  
+  3 4 5  
+  6 7 8  
+        β”˜
+   ⊏ a
+⟨ 0 1 2 ⟩
+
+

𝕨 ⊏ 𝕩: Select

+

Select the major cells of 𝕨 at the indices in 𝕩.

+
   2β€Ώ0 ⊏ ⟨1, 2, 3⟩
+⟨ 3 1 ⟩
+   a ← 3β€Ώ3 β₯Š ↕9
+β”Œβ”€       
+β•΅ 0 1 2  
+  3 4 5  
+  6 7 8  
+        β”˜
+   2β€Ώ0 ⊏ a
+β”Œβ”€       
+β•΅ 6 7 8  
+  0 1 2  
+        β”˜
+
diff --git "a/docs/help/\342\212\220classify indexof.html" "b/docs/help/\342\212\220classify indexof.html" new file mode 100644 index 00000000..0e8dbcb2 --- /dev/null +++ "b/docs/help/\342\212\220classify indexof.html" @@ -0,0 +1,36 @@ + + + + BQN: Square Original Of (`⊐`) + + +

Square Original Of (⊐)

+

⊐ 𝕩: Classify

+

First index of each major cell of 𝕩 in 𝕩.

+
   ⊐ 5β€Ώ6β€Ώ2β€Ώ2β€Ώ5β€Ώ1
+⟨ 0 1 2 2 0 3 ⟩
+   a ← 3β€Ώ3 β₯Š 0β€Ώ1β€Ώ2β€Ώ9β€Ώ0β€Ώ9β€Ώ0β€Ώ1β€Ώ2
+β”Œβ”€       
+β•΅ 0 1 2  
+  9 0 9  
+  0 1 2  
+        β”˜
+   ⊐ a
+⟨ 0 1 0 ⟩
+
+

𝕨 ⊐ 𝕩: Index Of

+

First index of each major cell of 𝕩 in 𝕨. Rank of 𝕩 must be at least cell rank of 𝕨`.

+

If a cell is not found in 𝕨, that position will contain the length of 𝕨 (≠𝕨).

+
   5β€Ώ6β€Ώ2β€Ώ2β€Ώ5β€Ώ1 ⊐ 5β€Ώ2β€Ώ1β€Ώ6
+⟨ 0 2 5 1 ⟩
+   a ← 3β€Ώ3 β₯Š 0β€Ώ1β€Ώ2β€Ώ9β€Ώ0β€Ώ9β€Ώ0β€Ώ1β€Ώ2
+β”Œβ”€       
+β•΅ 0 1 2  
+  9 0 9  
+  0 1 2  
+        β”˜
+   a ⊐ ⟨9β€Ώ0β€Ώ9⟩
+β”ŒΒ·   
+Β· 3  
+    β”˜
+
diff --git "a/docs/help/\342\212\221first pick.html" "b/docs/help/\342\212\221first pick.html" new file mode 100644 index 00000000..c4f69e8d --- /dev/null +++ "b/docs/help/\342\212\221first pick.html" @@ -0,0 +1,33 @@ + + + + BQN: Square Image Of Or Equal To (`βŠ‘`) + + +

Square Image Of Or Equal To (βŠ‘)

+

βŠ‘ 𝕩: First

+

First element of 𝕩.

+
   βŠ‘ ⟨1, 2, 3⟩
+1
+   a ← 3β€Ώ3 β₯Š ↕9
+β”Œβ”€       
+β•΅ 0 1 2  
+  3 4 5  
+  6 7 8  
+        β”˜
+   βŠ‘ a
+0
+
+

𝕨 βŠ‘ 𝕩: Pick

+

Pick the element of 𝕨 at index 𝕩.

+
   2 βŠ‘ ⟨1, 2, 3⟩
+3
+   a ← 3β€Ώ3 β₯Š ↕9
+β”Œβ”€       
+β•΅ 0 1 2  
+  3 4 5  
+  6 7 8  
+        β”˜
+   2β€Ώ0 βŠ‘ a
+6
+
diff --git "a/docs/help/\342\212\222occcount progindex.html" "b/docs/help/\342\212\222occcount progindex.html" new file mode 100644 index 00000000..b071f497 --- /dev/null +++ "b/docs/help/\342\212\222occcount progindex.html" @@ -0,0 +1,24 @@ + + + + BQN: Square Original Of or Equal To (`βŠ’`) + + +

Square Original Of or Equal To (βŠ’)

+

βŠ’ 𝕩: Occurrence Count

+

Number of times each major cell of 𝕩 appears before itself.

+
    βŠ’   2β€Ώ7β€Ώ1β€Ώ8β€Ώ1β€Ώ7β€Ώ1β€Ώ8β€Ώ2β€Ώ8β€Ώ4
+⟨ 0 0 0 0 1 1 2 1 1 2 0 ⟩
+    β‰βŸœβŠ’ 2β€Ώ7β€Ώ1β€Ώ8β€Ώ1β€Ώ7β€Ώ1β€Ώ8β€Ώ2β€Ώ8β€Ώ4
+β”Œβ”€                       
+β•΅ 2 7 1 8 1 7 1 8 2 8 4  
+  0 0 0 0 1 1 2 1 1 2 0  
+                        β”˜
+
+

𝕨 βŠ’ 𝕩: Progressive Index Of

+

Index of the first unused match of each major cell of 𝕩 in 𝕨. If there are no more matches left, length of 𝕨 is placed in that position.

+
    "aaa" βŠ’ "aaaaa"
+⟨ 0 1 2 3 3 ⟩
+    "aaabb" βŠ’ "ababababab"
+⟨ 0 3 1 4 2 5 5 5 5 5 ⟩
+
diff --git "a/docs/help/\342\212\224groupindices group.html" "b/docs/help/\342\212\224groupindices group.html" new file mode 100644 index 00000000..0db2d646 --- /dev/null +++ "b/docs/help/\342\212\224groupindices group.html" @@ -0,0 +1,29 @@ + + + + BQN: Square Cup (`βŠ”`) + + +

Square Cup (βŠ”)

+

βŠ” 𝕩: Group Indices

+

Group the indices of the major cells of 𝕩 by their respective values.

+

𝕩 must consist of integers. Groups start from 0.

+
   βŠ” 4β€Ώ5β€Ώ6β€Ώ6β€Ώ4β€Ώ7β€Ώ5
+⟨ ⟨⟩ ⟨⟩ ⟨⟩ ⟨⟩ ⟨ 0 4 ⟩ ⟨ 1 6 ⟩ ⟨ 2 3 ⟩ ⟨ 5 ⟩ ⟩
+   (↕8) ≍ βŠ” 4β€Ώ5β€Ώ6β€Ώ6β€Ώ4β€Ώ7β€Ώ5
+β”Œβ”€                                           
+β•΅ 0  1  2  3  4       5       6       7      
+  ⟨⟩ ⟨⟩ ⟨⟩ ⟨⟩ ⟨ 0 4 ⟩ ⟨ 1 6 ⟩ ⟨ 2 3 ⟩ ⟨ 5 ⟩  
+                                            β”˜
+
+

𝕨 βŠ” 𝕩: Group

+

Group the major cells of 𝕩 by their respective indices in 𝕨.

+

If an element corresponds to Β―1, it is excluded from grouping.

+

An extra element can be added to the end of 𝕨 to specify length of the result.

+
   1β€Ώ0β€Ώ1β€Ώ2β€Ώ2β€Ώ3β€Ώ3  βŠ” 4β€Ώ5β€Ώ6β€Ώ6β€Ώ4β€Ώ7β€Ώ5
+⟨ ⟨ 5 ⟩ ⟨ 4 6 ⟩ ⟨ 6 4 ⟩ ⟨ 7 5 ⟩ ⟩
+   1β€Ώ0β€Ώ1β€ΏΒ―1β€ΏΒ―1β€Ώ3β€Ώ3  βŠ” 4β€Ώ5β€Ώ6β€Ώ6β€Ώ4β€Ώ7β€Ώ5
+⟨ ⟨ 5 ⟩ ⟨ 4 6 ⟩ ⟨⟩ ⟨ 7 5 ⟩ ⟩
+   1β€Ώ0β€Ώ1β€ΏΒ―1β€ΏΒ―1β€Ώ3β€Ώ3β€Ώ10  βŠ” 4β€Ώ5β€Ώ6β€Ώ6β€Ώ4β€Ώ7β€Ώ5
+⟨ ⟨ 5 ⟩ ⟨ 4 6 ⟩ ⟨⟩ ⟨ 7 5 ⟩ ⟨⟩ ⟨⟩ ⟨⟩ ⟨⟩ ⟨⟩ ⟨⟩ ⟩
+
diff --git "a/docs/help/\342\212\230valences.html" "b/docs/help/\342\212\230valences.html" new file mode 100644 index 00000000..a250b39a --- /dev/null +++ "b/docs/help/\342\212\230valences.html" @@ -0,0 +1,21 @@ + + + + BQN: Circled Division Slash (`⊘`) + + +

Circled Division Slash (⊘)

+

π”½βŠ˜π”Ύ 𝕩: Valences

+

Apply 𝔽 to 𝕩.

+
   +⊘- 5
+5
+   -⊘+ 5
+Β―5
+
+

𝕨 π”½βŠ˜π”Ύ 𝕩: Valences

+

Apply 𝔾 to 𝕨 and 𝕩.

+
   4 +⊘- 5
+Β―1
+   4 -⊘+ 5
+9
+
diff --git "a/docs/help/\342\212\242identity right.html" "b/docs/help/\342\212\242identity right.html" new file mode 100644 index 00000000..db9c8425 --- /dev/null +++ "b/docs/help/\342\212\242identity right.html" @@ -0,0 +1,19 @@ + + + + BQN: Right Tack (`⊒`) + + +

Right Tack (⊒)

+

⊒ 𝕩:

+

Return 𝕩.

+
  ⊒ 5
+5
+
+

𝕨 ⊒ 𝕩: Right

+

Return 𝕩.

+
  5 ⊒ 8
+8
+  'a' ⊒ 1β€Ώ2β€Ώ3
+⟨ 1 2 3 ⟩
+
diff --git "a/docs/help/\342\212\243identity left.html" "b/docs/help/\342\212\243identity left.html" new file mode 100644 index 00000000..290e3863 --- /dev/null +++ "b/docs/help/\342\212\243identity left.html" @@ -0,0 +1,19 @@ + + + + BQN: Left Tack (`⊣`) + + +

Left Tack (⊣)

+

⊣ 𝕩:

+

Return 𝕩.

+
  ⊣ 5
+5
+
+

𝕨 ⊣ 𝕩: Left

+

Return 𝕨.

+
  5 ⊣ 8
+5
+  'a' ⊣ 1β€Ώ2β€Ώ3
+'a'
+
diff --git "a/docs/help/\342\212\270before bindleft.html" "b/docs/help/\342\212\270before bindleft.html" new file mode 100644 index 00000000..aa5a597a --- /dev/null +++ "b/docs/help/\342\212\270before bindleft.html" @@ -0,0 +1,35 @@ + + + + BQN: Multimap (`⊸`) + + +

Multimap (⊸)

+

π•—βŠΈπ”Ύ 𝕩: Bind Left

+

Supply 𝕗 as a left argument to 𝔾 (𝕗 𝔾 𝕩).

+

𝕗 must be a value, 𝔾 must be dyadic.

+
   3⊸- 9
+Β―6
+   3 - 9
+Β―6
+
+

π”½βŠΈπ”Ύ 𝕩: Before

+

Apply 𝔽 to 𝕩, and supply it as a left argument to 𝔾 ((𝔽 𝕩) 𝔾 𝕩).

+

𝔽 must be monadic, 𝔾 must be dyadic.

+
   -⊸+ 9
+0
+   - + 9
+Β―9
+   (- 9) + 9
+0
+
+

𝕨 π”½βŠΈπ”Ύ 𝕩: Dyadic Before

+

Apply 𝔽 to 𝕨, and supply it as a left argument to 𝔾 ((𝔽 𝕨) 𝔾 𝕩).

+

𝔽 must be monadic, 𝔾 must be dyadic.

+
   2 -⊸+ 1
+Β―1
+   2 - + 1
+1
+   (- 2) + 1
+Β―1
+
diff --git "a/docs/help/\342\213\206exponential power.html" "b/docs/help/\342\213\206exponential power.html" new file mode 100644 index 00000000..c69a3e4d --- /dev/null +++ "b/docs/help/\342\213\206exponential power.html" @@ -0,0 +1,23 @@ + + + + BQN: Star (`⋆`) + + +

Star (⋆)

+

⋆ 𝕩: Exponential

+

e (Euler's constant) to the power of 𝕩.

+

Pervasive.

+
  ⋆ 0β€Ώ1β€Ώ2β€Ώ3
+⟨ 1 2.718281828459045 7.38905609893065 20.085536923187668 ⟩
+
+

𝕨 ⋆ 𝕩: Power

+

𝕨 to the power of 𝕩.

+

Pervasive.

+
  2 ⋆ 5
+32
+  8β€Ώ5β€Ώ9 ⋆ 2
+⟨ 64 25 81 ⟩
+  2β€Ώ3 ⋆ 3β€ΏΒ―4
+⟨ 8 0.012345679012345678 ⟩
+
diff --git "a/docs/help/\342\213\210enlist pair.html" "b/docs/help/\342\213\210enlist pair.html" new file mode 100644 index 00000000..4c44c154 --- /dev/null +++ "b/docs/help/\342\213\210enlist pair.html" @@ -0,0 +1,36 @@ + + + + BQN: Bow Tie (`β‹ˆ`) + + +

Bow Tie (β‹ˆ)

+

β‹ˆ 𝕩: Enlist

+

Put 𝕩 in a single element list. (βŸ¨π•©βŸ©)

+
  β‹ˆ 1
+⟨ 1 ⟩
+  β‹ˆ 4β€Ώ4 β₯Š 3β€Ώ67β€Ώ8β€Ώ0
+β”Œβ”€              
+Β· β”Œβ”€            
+  β•΅ 3 67 8 0    
+    3 67 8 0    
+    3 67 8 0    
+    3 67 8 0    
+             β”˜  
+               β”˜
+
+

𝕨 β‹ˆ 𝕩: Pair

+

Put 𝕨 and 𝕩 in a two element list. (βŸ¨π•¨, π•©βŸ©)

+
  1 β‹ˆ 2
+⟨ 1 2 ⟩
+  1 β‹ˆ "dsdasdas"
+⟨ 1 "dsdasdas" ⟩
+  (3β€Ώ3 β₯Š 3) β‹ˆ 67β€Ώ'a'β€Ώ"example"
+β”Œβ”€                                
+Β· β”Œβ”€        ⟨ 67 'a' "example" ⟩  
+  β•΅ 3 3 3                         
+    3 3 3                         
+    3 3 3                         
+          β”˜                       
+                                 β”˜
+
diff --git "a/docs/help/\342\214\210ceiling maximum.html" "b/docs/help/\342\214\210ceiling maximum.html" new file mode 100644 index 00000000..765a9cc0 --- /dev/null +++ "b/docs/help/\342\214\210ceiling maximum.html" @@ -0,0 +1,21 @@ + + + + BQN: Left Ceiling (`⌈`) + + +

Left Ceiling (⌈)

+

⌈ 𝕩: Ceiling

+

Round 𝕩 up.

+

Pervasive.

+
  ⌈ 1.2β€ΏΟ€β€Ώ3β€Ώ7.89
+⟨ 2 4 3 8 ⟩
+
+

𝕨 ⌈ 𝕩: Maximum

+

Maximum of 𝕨 and 𝕩.

+

Pervasive.

+
  1 ⌈ 2
+2
+  2β€Ώ3 ⌈ 4β€Ώ2
+⟨ 4 3 ⟩ 
+
diff --git "a/docs/help/\342\214\212floor minimum.html" "b/docs/help/\342\214\212floor minimum.html" new file mode 100644 index 00000000..0389a5de --- /dev/null +++ "b/docs/help/\342\214\212floor minimum.html" @@ -0,0 +1,21 @@ + + + + BQN: Left Floor (`⌊`) + + +

Left Floor (⌊)

+

⌊ 𝕩: Floor

+

Round 𝕩 down.

+

Pervasive.

+
  ⌊ 1.2β€ΏΟ€β€Ώ3β€Ώ7.89
+⟨ 1 3 3 7 ⟩
+
+

𝕨 ⌊ 𝕩: Minimum

+

Minimum of 𝕨 and 𝕩.

+

Pervasive.

+
  1 ⌊ 2
+1
+  2β€Ώ3 ⌊ 4β€Ώ2
+⟨ 2 2 ⟩
+
diff --git "a/docs/help/\342\214\234table.html" "b/docs/help/\342\214\234table.html" new file mode 100644 index 00000000..e1a8f6f2 --- /dev/null +++ "b/docs/help/\342\214\234table.html" @@ -0,0 +1,23 @@ + + + + BQN: Top Left Corner (`⌜`) + + +

Top Left Corner (⌜)

+

𝕨 π”½βŒœ 𝕩: Each

+

Apply 𝔽 between every possible pair of the elements of the arguments.

+
   1β€Ώ2β€Ώ3β€Ώ4 +⌜ 4β€Ώ5β€Ώ6β€Ώ7
+β”Œβ”€           
+β•΅ 5 6  7  8  
+  6 7  8  9  
+  7 8  9 10  
+  8 9 10 11  
+            β”˜
+   "abc" ∾⌜ "xyz"
+β”Œβ”€                
+β•΅ "ax" "ay" "az"  
+  "bx" "by" "bz"  
+  "cx" "cy" "cz"  
+                 β”˜
+
diff --git "a/docs/help/\342\214\275reverse rotate.html" "b/docs/help/\342\214\275reverse rotate.html" new file mode 100644 index 00000000..87156909 --- /dev/null +++ "b/docs/help/\342\214\275reverse rotate.html" @@ -0,0 +1,41 @@ + + + + BQN: Circle Stile (`⌽`) + + +

Circle Stile (⌽)

+

⌽ 𝕩: Reverse

+

Reverse the first axis of 𝕩.

+
   ⌽ 1β€Ώ2β€Ώ3
+⟨ 3 2 1 ⟩
+   a ← 3β€Ώ3 β₯Š ↕9
+β”Œβ”€       
+β•΅ 0 1 2  
+  3 4 5  
+  6 7 8  
+        β”˜
+   ⌽ a
+β”Œβ”€       
+β•΅ 6 7 8  
+  3 4 5  
+  0 1 2  
+        β”˜
+
+

𝕨 ⌽ 𝕩: Dyad

+

Move the first 𝕨 elements of 𝕩 to its end. Negative 𝕨 reverses the direction of rotation.

+
   2 ⌽ 1β€Ώ2β€Ώ3
+⟨ 3 1 2 ⟩
+   a ← 3β€Ώ3 β₯Š ↕9
+β”Œβ”€       
+β•΅ 0 1 2  
+  3 4 5  
+  6 7 8  
+        β”˜
+   2 ⌽ a
+β”Œβ”€       
+β•΅ 6 7 8  
+  0 1 2  
+  3 4 5  
+        β”˜
+
diff --git "a/docs/help/\342\214\276under.html" "b/docs/help/\342\214\276under.html" new file mode 100644 index 00000000..980003b4 --- /dev/null +++ "b/docs/help/\342\214\276under.html" @@ -0,0 +1,23 @@ + + + + BQN: Circle Jot (`⌾`) + + +

Circle Jot (⌾)

+

π”½βŒΎπ”Ύ 𝕩, 𝕨 π”½βŒΎπ”Ύ 𝕩: Under

+
    +
  • Apply transformation 𝔾 to all arguments
  • +
  • Apply 𝔽 to the transformed arguments
  • +
  • Undo transformation 𝔾
  • +
+

Where 𝔾 must be

+

1. A function invertible by ⁼ (Undo) +2. A structural modification

+
   9⌾(1βŠΈβŠ‘) 1β€Ώ2β€Ώ3
+⟨ 1 9 3 ⟩
+   √⁼ (√1) + (√9)
+16
+   1 +⌾√ 9
+16
+
diff --git "a/docs/help/\342\215\211transpose dyadtranspose.html" "b/docs/help/\342\215\211transpose dyadtranspose.html" new file mode 100644 index 00000000..18a61154 --- /dev/null +++ "b/docs/help/\342\215\211transpose dyadtranspose.html" @@ -0,0 +1,36 @@ + + + + BQN: Circle Backslash (`⍉`) + + +

Circle Backslash (⍉)

+

⍉ 𝕩: Transpose

+

Move the first axis of 𝕩 to the end.

+
   a ← 3β€Ώ3 β₯Š ↕9
+β”Œβ”€       
+β•΅ 0 1 2  
+  3 4 5  
+  6 7 8  
+        β”˜
+   ⍉ a
+β”Œβ”€       
+β•΅ 0 3 6  
+  1 4 7  
+  2 5 8  
+        β”˜
+   b ← 1β€Ώ2β€Ώ3 β₯Š ↕6
+β”Œβ”€       
+β•Ž 0 1 2  
+  3 4 5  
+        β”˜
+   ≒⍉ b
+⟨ 2 3 1 ⟩
+
+

𝕨 ⍉ 𝕩: Dyad

+

Rearrange the axes of 𝕩 as per the axis indices in 𝕨.

+
   β‰’ a ← 2β€Ώ3β€Ώ4β€Ώ5β€Ώ6 β₯Š1
+⟨ 2 3 4 5 6 ⟩
+   β‰’ 1β€Ώ3β€Ώ2β€Ώ0β€Ώ4 ⍉ a
+⟨ 5 2 4 3 6 ⟩
+
diff --git "a/docs/help/\342\215\213gradeup binsup.html" "b/docs/help/\342\215\213gradeup binsup.html" new file mode 100644 index 00000000..040fb2a0 --- /dev/null +++ "b/docs/help/\342\215\213gradeup binsup.html" @@ -0,0 +1,26 @@ + + + + BQN: Delta Stile (`⍋`) + + +

Delta Stile (⍋)

+

⍋ 𝕩: Grade Up

+

Indices of 𝕩 that would sort its major cells in ascending order.

+
   a ← 3β€Ώ2β€Ώ1
+⟨ 3 2 1 ⟩
+   ⍋ a
+⟨ 2 1 0 ⟩
+   (⍋a) ⊏ a
+⟨ 1 2 3 ⟩
+
+

𝕨 ⍋ 𝕩: Bins Up

+

Binary search for each element of 𝕩 in 𝕨, and return the index found, if any.

+

𝕨 must be sorted in ascending order.

+
   3β€Ώ4β€Ώ5β€Ώ7 ⍋ 2
+β”ŒΒ·   
+Β· 0  
+    β”˜
+   3β€Ώ4β€Ώ5β€Ώ7 ⍋ 2β€Ώ6
+⟨ 0 3 ⟩
+
diff --git "a/docs/help/\342\215\222gradedown binsdown.html" "b/docs/help/\342\215\222gradedown binsdown.html" new file mode 100644 index 00000000..ba6185d5 --- /dev/null +++ "b/docs/help/\342\215\222gradedown binsdown.html" @@ -0,0 +1,27 @@ + + + + BQN: Del Stile (`⍒`) + + +

Del Stile (⍒)

+

⍒ 𝕩: Grade Down

+

Indices of 𝕩 that would sort its major cells in descending order.

+
   a ← 1β€Ώ2β€Ώ3
+⟨ 1 2 3 ⟩
+   ⍒ a
+⟨ 2 1 0 ⟩
+   (⍒a) ⊏ a
+⟨ 3 2 1 ⟩ 
+
+

𝕨 ⍒ 𝕩: Bins Down

+

Binary search for each element of 𝕩 in 𝕨, and return the index found, if any.

+

𝕨 must be sorted in descending order.

+

Right Pervasive.

+
   7β€Ώ5β€Ώ4β€Ώ3 ⍒ 2
+β”ŒΒ·   
+Β· 4  
+    β”˜
+   7β€Ώ5β€Ώ4β€Ώ3 ⍒ 2β€Ώ6
+⟨ 4 1 ⟩
+
diff --git "a/docs/help/\342\215\237repeat.html" "b/docs/help/\342\215\237repeat.html" new file mode 100644 index 00000000..551d9903 --- /dev/null +++ "b/docs/help/\342\215\237repeat.html" @@ -0,0 +1,17 @@ + + + + BQN: Circle Star (`⍟`) + + +

Circle Star (⍟)

+

π”½βŸπ”Ύ 𝕩, 𝕨 π”½βŸπ”Ύ 𝕩: Repeat

+

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

+

If 𝔾 returns an array, give π”½βŸπ•© for each element.

+
   1 +⍟⊒ 4
+8
+   1 +⍟1β€Ώ2β€Ώ3 4
+⟨ 5 6 7 ⟩
+   3 ∾⍟{≠𝕩} ⟨4,5,6⟩
+⟨ 3 3 3 4 5 6 ⟩
+
diff --git "a/docs/help/\342\215\267deduplicate find.html" "b/docs/help/\342\215\267deduplicate find.html" new file mode 100644 index 00000000..2484c921 --- /dev/null +++ "b/docs/help/\342\215\267deduplicate find.html" @@ -0,0 +1,55 @@ + + + + BQN: Epsilon Underbar (`⍷`) + + +

Epsilon Underbar (⍷)

+

⍷ 𝕩: Deduplicate

+

Unique major cells of 𝕩.

+
   ⍷ 4β€Ώ5β€Ώ6β€Ώ6β€Ώ4β€Ώ7β€Ώ5
+⟨ 4 5 6 7 ⟩
+   a ← 3β€Ώ3 β₯Š ↕6
+β”Œβ”€       
+β•΅ 0 1 2  
+  3 4 5  
+  0 1 2  
+        β”˜
+   ⍷ a
+β”Œβ”€       
+β•΅ 0 1 2  
+  3 4 5  
+        β”˜
+
+

𝕨 ⍷ 𝕩: Find

+

Mark the top left location of the occurrences of 𝕨 in 𝕩 with a 1, and other locations with 0.

+

Result is the same shape as (≒𝕨)↕x.

+
    "string" ⍷ "substring"
+⟨ 0 0 0 1 ⟩
+   "loooooong" ⍷ "short"
+⟨⟩
+   a ← 7 (4|β‹†Λœ)βŒœβ—‹β†• 9
+β”Œβ”€                   
+β•΅ 1 1 1 1 1 1 1 1 1  
+  0 1 2 3 0 1 2 3 0  
+  0 1 0 1 0 1 0 1 0  
+  0 1 0 3 0 1 0 3 0  
+  0 1 0 1 0 1 0 1 0  
+  0 1 0 3 0 1 0 3 0  
+  0 1 0 1 0 1 0 1 0  
+                    β”˜
+   b ← (0β€Ώ3β€Ώ0≍0β€Ώ1β€Ώ0)
+β”Œβ”€       
+β•΅ 0 3 0  
+  0 1 0  
+        β”˜
+   b ⍷ a
+β”Œβ”€               
+β•΅ 0 0 0 0 0 0 0  
+  0 0 0 0 0 0 0  
+  0 0 0 0 0 0 0  
+  0 0 1 0 0 0 1  
+  0 0 0 0 0 0 0  
+  0 0 1 0 0 0 1  
+                β”˜
+
diff --git "a/docs/help/\342\216\211rank.html" "b/docs/help/\342\216\211rank.html" new file mode 100644 index 00000000..f1a4efc3 --- /dev/null +++ "b/docs/help/\342\216\211rank.html" @@ -0,0 +1,38 @@ + + + + BQN: Circled Horizontal Bar With Notch (`βŽ‰`) + + +

Circled Horizontal Bar With Notch (βŽ‰)

+

π”½βŽ‰π•˜ 𝕩, 𝕨 π”½βŽ‰π•˜ 𝕩: Rank

+

Apply 𝔽 to cells at ranks given in π•˜.

+

The ranks applied are given by the following:

+
    +
  • βŽ‰ c Rank-c cells of 𝕩 (monadic) or both arguments (dyadic)
  • +
  • βŽ‰ bβ€Ώc ⍝ Rank-b cells of 𝕨 and rank-c cells of 𝕩 (dyadic)
  • +
  • βŽ‰ aβ€Ώbβ€Ώc ⍝ Rank-a cells of 𝕩 (monadic), b-cells of 𝕨 and c-cells of 𝕩 (dyadic)
  • +
+
   a ← 3β€Ώ2β€Ώ4β₯Š"ABCDEFGHIJKLMNOPQRSTUVWXYZ"
+β”Œβ”€      
+β•Ž"ABCD  
+  EFGH  
+        
+ Β·IJKL  
+  MNOP  
+        
+ Β·QRST  
+  UVWX" 
+       β”˜
+   βŒ½βŽ‰2 a
+β”Œβ”€      
+β•Ž"EFGH  
+  ABCD  
+        
+ Β·MNOP  
+  IJKL  
+        
+ Β·UVWX  
+  QRST" 
+       β”˜
+
diff --git "a/docs/help/\342\216\212catch.html" "b/docs/help/\342\216\212catch.html" new file mode 100644 index 00000000..883b0959 --- /dev/null +++ "b/docs/help/\342\216\212catch.html" @@ -0,0 +1,16 @@ + + + + BQN: Circled Triangle Down (`⎊`) + + +

Circled Triangle Down (⎊)

+

π”½βŽŠπ”Ύ 𝕩, 𝕨 π”½βŽŠπ”Ύ 𝕩: Catch

+

Apply 𝔽 to the arguments.

+

If an error happens when 𝔽 is applied, cancel its execution, apply 𝔾 to the arguments and return the results.

+

Otherwise, return the results of 𝔽.

+
   ∾⎊{"error occurred with argument: "βˆΎβ€’Fmt 𝕩} 1
+"error occurred with argument: 1"
+   ∾⎊{"error occurred with argument: "βˆΎβ€’Fmt 𝕩} ⟨⟨1,2⟩, ⟨3,4⟩⟩
+⟨ 1 2 3 4 ⟩
+
diff --git "a/docs/help/\342\227\213over.html" "b/docs/help/\342\227\213over.html" new file mode 100644 index 00000000..2c829578 --- /dev/null +++ "b/docs/help/\342\227\213over.html" @@ -0,0 +1,25 @@ + + + + BQN: Circle (`β—‹`) + + +

Circle (β—‹)

+

𝔽○𝔾 𝕩: Atop

+

Apply 𝔾 to 𝕩, then apply 𝔽 (𝔽 𝔾 𝕩).

+

𝔽 and 𝔾 must be monadic.

+
   -β—‹- 5
+5
+   - - 5
+5
+
+

𝕨 𝔽○𝔾 𝕩: Over

+

Apply 𝔾 to 𝕨 and 𝕩, then apply 𝔽 to them ((𝔾 𝕨) 𝔽 (𝔾 𝕩)).

+

𝔽 must be dyadic, 𝔾 must be monadic.

+
   1 +β—‹- 2
+Β―3
+   1 + - 2
+Β―1
+   (- 1) + (- 2)
+Β―3
+
diff --git "a/docs/help/\342\227\266choose.html" "b/docs/help/\342\227\266choose.html" new file mode 100644 index 00000000..1001fb64 --- /dev/null +++ "b/docs/help/\342\227\266choose.html" @@ -0,0 +1,20 @@ + + + + BQN: Circle with Lower Right Quadrant (`β—Ά`) + + +

Circle with Lower Right Quadrant (β—Ά)

+

π”½β—Άπ•˜ 𝕩, 𝕨 π”½β—Άπ•˜ 𝕩: Choose

+

Apply 𝔽 to the arguments and pick a function from list π•˜. Apply the picked function to the arguments.

+
   F ← βŠ’β—Ά+β€Ώ-β€ΏΓ·β€ΏΓ—
+βŠ’β—ΆβŸ¨ + - Γ· Γ— ⟩
+   F 0
+0
+   F 1
+Β―1
+   F 2
+0.5
+   F 3
+1
+
diff --git "a/docs/help/\342\232\207depth.html" "b/docs/help/\342\232\207depth.html" new file mode 100644 index 00000000..3c08e568 --- /dev/null +++ "b/docs/help/\342\232\207depth.html" @@ -0,0 +1,14 @@ + + + + BQN: Circle With Two Dots (`βš‡`) + + +

Circle With Two Dots (βš‡)

+

π”½βš‡π•˜ 𝕩, 𝕨 π”½βš‡π•˜ 𝕩: Depth

+

Apply 𝔽 to the cells of the arguments at depth given in π•˜.

+
   1βŠΈβ†“βš‡1 ⟨⟨1,2,3⟩, ⟨4,5,6⟩⟩
+⟨ ⟨ 2 3 ⟩ ⟨ 5 6 ⟩ ⟩
+   1 β†“βš‡1 ⟨⟨1,2,3⟩, ⟨4,5,6⟩⟩
+⟨ ⟨ 2 3 ⟩ ⟨ 5 6 ⟩ ⟩
+
diff --git "a/docs/help/\342\237\234after bindright.html" "b/docs/help/\342\237\234after bindright.html" new file mode 100644 index 00000000..da9141d6 --- /dev/null +++ "b/docs/help/\342\237\234after bindright.html" @@ -0,0 +1,35 @@ + + + + BQN: Left Multimap (`⟜`) + + +

Left Multimap (⟜)

+

π”½βŸœπ•˜ 𝕩: Bind

+

Supply π•˜ as a right argument to 𝔽 (𝕩 𝔽 π•˜).

+

π•˜ must be a value, F must be dyadic.

+
   -⟜3 9
+6
+   - 3 9
+Error
+   9 - 3
+6
+
+

π”½βŸœπ”Ύ 𝕩: After

+

Apply 𝔾 to 𝕩, and supply it as a right argument to 𝔽 (𝕩 𝔽 (𝔾 𝕩)).

+

𝔽 must be dyadic, 𝔾 must be monadic.

+
   Γ—βŸœ- 9
+Β―81
+   Γ— - 9
+Β―1
+   9 Γ— (- 9)
+Β―81
+
+

𝕨 π”½βŸœπ”Ύ 𝕩: Dyadic After

+

Apply 𝔾 to 𝕩, and supply it as a right argument to 𝔽 (𝕨 𝔽 (𝔾 𝕩)).

+

𝔽 must be dyadic, 𝔾 must be monadic.

+
   2 Γ—βŸœ- 1
+Β―2
+   2 Γ— (- 1)
+Β―2
+
diff --git "a/docs/help/\342\245\212deshape reshape.html" "b/docs/help/\342\245\212deshape reshape.html" new file mode 100644 index 00000000..415e2ade --- /dev/null +++ "b/docs/help/\342\245\212deshape reshape.html" @@ -0,0 +1,42 @@ + + + + BQN: Barb (`β₯Š`) + + +

Barb (β₯Š)

+

β₯Š 𝕩: Deshape

+

Put all elements of 𝕩 in a rank 1 array, converting to array if necessary.

+
  β₯Š 1
+⟨ 1 ⟩
+  β₯Š 1β€Ώ2 ≍ 3β€Ώ4
+⟨ 1 2 3 4 ⟩
+
+

𝕨 β₯Š 𝕩: Reshape

+

Put all elements of 𝕩 in an array of shape 𝕨, adding or removing elements if necessary.

+

A single element in 𝕩 can be a function, which will be replaced with an appropriate length:

+
    +
  • ∘ Exact fit
  • +
  • ⌊ Round length down, discarding elements
  • +
  • ⌽ Round length up
  • +
  • ↑ Round length up, and use element fill to add extra elements.
  • +
+
  3β€Ώ3 β₯Š 3
+β”Œβ”€       
+β•΅ 3 3 3  
+  3 3 3  
+  3 3 3  
+        β”˜
+  2β€ΏβŒ½β€Ώ2 β₯Š 1β€Ώ2β€Ώ3
+β”Œβ”€     
+β•Ž 1 2  
+       
+  3 1  
+      β”˜
+  2‿↑‿2 β₯Š 1β€Ώ2β€Ώ3
+β”Œβ”€     
+β•Ž 1 2  
+       
+  3 0  
+      β”˜
+
-- cgit v1.2.3