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') 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 From 2c50d91ec7eb8bc7890befe874a0b93729c2437e Mon Sep 17 00:00:00 2001 From: razetime Date: Wed, 19 Jan 2022 22:48:16 +0530 Subject: add h2s remove copied output, ascii filenames --- 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/abs_modulus.html | 25 +++++++++ docs/help/after_bindright.html | 40 +++++++++++++++ docs/help/assert_assertwithmsg.html | 29 +++++++++++ docs/help/atop.html | 28 ++++++++++ docs/help/before_bindleft.html | 40 +++++++++++++++ docs/help/catch.html | 17 ++++++ docs/help/ceiling_maximum.html | 22 ++++++++ docs/help/cells.html | 27 ++++++++++ docs/help/choose.html | 23 +++++++++ docs/help/classify_indexof.html | 31 +++++++++++ docs/help/conjugate_add.html | 26 ++++++++++ docs/help/constant.html | 15 ++++++ docs/help/deduplicate_find.html | 40 +++++++++++++++ docs/help/depth.html | 15 ++++++ docs/help/depth_match.html | 26 ++++++++++ docs/help/deshape_reshape.html | 45 ++++++++++++++++ docs/help/each.html | 19 +++++++ docs/help/enclose_less.html | 28 ++++++++++ docs/help/enlist_pair.html | 39 ++++++++++++++ docs/help/exponential_power.html | 25 +++++++++ docs/help/first_pick.html | 28 ++++++++++ docs/help/firstcell_select.html | 33 ++++++++++++ docs/help/floor_minimum.html | 22 ++++++++ docs/help/fold.html | 35 +++++++++++++ docs/help/gradedown_binsdown.html | 29 +++++++++++ docs/help/gradeup_binsup.html | 28 ++++++++++ docs/help/greatequal.html | 16 ++++++ docs/help/groupindices_group.html | 32 ++++++++++++ docs/help/identity_left.html | 20 ++++++++ docs/help/identity_right.html | 20 ++++++++ docs/help/indices_replicate.html | 24 +++++++++ docs/help/join_jointo.html | 43 ++++++++++++++++ docs/help/length_notequal.html | 35 +++++++++++++ docs/help/lessequal.html | 16 ++++++ docs/help/markfirst_memberof.html | 35 +++++++++++++ docs/help/merge_great.html | 37 +++++++++++++ docs/help/negate_subtract.html | 31 +++++++++++ docs/help/not_span.html | 25 +++++++++ docs/help/occcount_progindex.html | 26 ++++++++++ docs/help/over.html | 28 ++++++++++ docs/help/prefixes_take.html | 56 ++++++++++++++++++++ docs/help/range_windows.html | 48 +++++++++++++++++ docs/help/rank.html | 29 +++++++++++ docs/help/rank_equal.html | 44 ++++++++++++++++ docs/help/reciprocal_divide.html | 22 ++++++++ docs/help/repeat.html | 19 +++++++ docs/help/reverse_rotate.html | 36 +++++++++++++ docs/help/scan.html | 35 +++++++++++++ docs/help/self_swap.html | 23 +++++++++ docs/help/shape_notmatch.html | 26 ++++++++++ docs/help/shiftafter.html | 36 +++++++++++++ docs/help/shiftbefore.html | 36 +++++++++++++ docs/help/sign_multiply.html | 27 ++++++++++ docs/help/sindices replicate.html | 22 -------- docs/help/solo_couple.html | 51 ++++++++++++++++++ docs/help/sortdown_or.html | 24 +++++++++ docs/help/sortup_and.html | 21 ++++++++ docs/help/squareroot_root.html | 21 ++++++++ docs/help/suffixes_drop.html | 45 ++++++++++++++++ docs/help/table.html | 24 +++++++++ docs/help/transpose_dyadtranspose.html | 31 +++++++++++ docs/help/under.html | 25 +++++++++ docs/help/undo.html | 27 ++++++++++ docs/help/valences.html | 23 +++++++++ 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 --------------- 126 files changed, 1852 insertions(+), 1797 deletions(-) delete mode 100644 docs/help/!assert assertwithmsg.html delete mode 100644 docs/help/+conjugate add.html delete mode 100644 docs/help/-negate subtract.html delete mode 100644 docs/help/merge great.html delete mode 100644 docs/help/`scan.html create mode 100644 docs/help/abs_modulus.html create mode 100644 docs/help/after_bindright.html create mode 100644 docs/help/assert_assertwithmsg.html create mode 100644 docs/help/atop.html create mode 100644 docs/help/before_bindleft.html create mode 100644 docs/help/catch.html create mode 100644 docs/help/ceiling_maximum.html create mode 100644 docs/help/cells.html create mode 100644 docs/help/choose.html create mode 100644 docs/help/classify_indexof.html create mode 100644 docs/help/conjugate_add.html create mode 100644 docs/help/constant.html create mode 100644 docs/help/deduplicate_find.html create mode 100644 docs/help/depth.html create mode 100644 docs/help/depth_match.html create mode 100644 docs/help/deshape_reshape.html create mode 100644 docs/help/each.html create mode 100644 docs/help/enclose_less.html create mode 100644 docs/help/enlist_pair.html create mode 100644 docs/help/exponential_power.html create mode 100644 docs/help/first_pick.html create mode 100644 docs/help/firstcell_select.html create mode 100644 docs/help/floor_minimum.html create mode 100644 docs/help/fold.html create mode 100644 docs/help/gradedown_binsdown.html create mode 100644 docs/help/gradeup_binsup.html create mode 100644 docs/help/greatequal.html create mode 100644 docs/help/groupindices_group.html create mode 100644 docs/help/identity_left.html create mode 100644 docs/help/identity_right.html create mode 100644 docs/help/indices_replicate.html create mode 100644 docs/help/join_jointo.html create mode 100644 docs/help/length_notequal.html create mode 100644 docs/help/lessequal.html create mode 100644 docs/help/markfirst_memberof.html create mode 100644 docs/help/merge_great.html create mode 100644 docs/help/negate_subtract.html create mode 100644 docs/help/not_span.html create mode 100644 docs/help/occcount_progindex.html create mode 100644 docs/help/over.html create mode 100644 docs/help/prefixes_take.html create mode 100644 docs/help/range_windows.html create mode 100644 docs/help/rank.html create mode 100644 docs/help/rank_equal.html create mode 100644 docs/help/reciprocal_divide.html create mode 100644 docs/help/repeat.html create mode 100644 docs/help/reverse_rotate.html create mode 100644 docs/help/scan.html create mode 100644 docs/help/self_swap.html create mode 100644 docs/help/shape_notmatch.html create mode 100644 docs/help/shiftafter.html create mode 100644 docs/help/shiftbefore.html create mode 100644 docs/help/sign_multiply.html delete mode 100644 docs/help/sindices replicate.html create mode 100644 docs/help/solo_couple.html create mode 100644 docs/help/sortdown_or.html create mode 100644 docs/help/sortup_and.html create mode 100644 docs/help/squareroot_root.html create mode 100644 docs/help/suffixes_drop.html create mode 100644 docs/help/table.html create mode 100644 docs/help/transpose_dyadtranspose.html create mode 100644 docs/help/under.html create mode 100644 docs/help/undo.html create mode 100644 docs/help/valences.html delete mode 100644 docs/help/|abs modulus.html delete mode 100644 "docs/help/\302\250each.html" delete mode 100644 "docs/help/\302\253shiftbefore.html" delete mode 100644 "docs/help/\302\254not span.html" delete mode 100644 "docs/help/\302\264fold.html" delete mode 100644 "docs/help/\302\273shiftafter.html" delete mode 100644 "docs/help/\303\227sign multiply.html" delete mode 100644 "docs/help/\303\267reciprocal divide.html" delete mode 100644 "docs/help/\313\230cells.html" delete mode 100644 "docs/help/\313\231constant.html" delete mode 100644 "docs/help/\313\234self swap.html" delete mode 100644 "docs/help/\342\201\274undo.html" delete mode 100644 "docs/help/\342\206\221prefixes take.html" delete mode 100644 "docs/help/\342\206\223suffixes drop.html" delete mode 100644 "docs/help/\342\206\225range windows.html" delete mode 100644 "docs/help/\342\210\212markfirst memberof.html" delete mode 100644 "docs/help/\342\210\230atop.html" delete mode 100644 "docs/help/\342\210\232squareroot root.html" delete mode 100644 "docs/help/\342\210\247sortup and.html" delete mode 100644 "docs/help/\342\210\250sortdown or.html" delete mode 100644 "docs/help/\342\210\276join jointo.html" delete mode 100644 "docs/help/\342\211\215solo couple.html" delete mode 100644 "docs/help/\342\211\240length notequal.html" delete mode 100644 "docs/help/\342\211\241depth match.html" delete mode 100644 "docs/help/\342\211\242shape notmatch.html" delete mode 100644 "docs/help/\342\211\244lessequal.html" delete mode 100644 "docs/help/\342\211\245greatequal.html" delete mode 100644 "docs/help/\342\212\217firstcell select.html" delete mode 100644 "docs/help/\342\212\220classify indexof.html" delete mode 100644 "docs/help/\342\212\221first pick.html" delete mode 100644 "docs/help/\342\212\222occcount progindex.html" delete mode 100644 "docs/help/\342\212\224groupindices group.html" delete mode 100644 "docs/help/\342\212\230valences.html" delete mode 100644 "docs/help/\342\212\242identity right.html" delete mode 100644 "docs/help/\342\212\243identity left.html" delete mode 100644 "docs/help/\342\212\270before bindleft.html" delete mode 100644 "docs/help/\342\213\206exponential power.html" delete mode 100644 "docs/help/\342\213\210enlist pair.html" delete mode 100644 "docs/help/\342\214\210ceiling maximum.html" delete mode 100644 "docs/help/\342\214\212floor minimum.html" delete mode 100644 "docs/help/\342\214\234table.html" delete mode 100644 "docs/help/\342\214\275reverse rotate.html" delete mode 100644 "docs/help/\342\214\276under.html" delete mode 100644 "docs/help/\342\215\211transpose dyadtranspose.html" delete mode 100644 "docs/help/\342\215\213gradeup binsup.html" delete mode 100644 "docs/help/\342\215\222gradedown binsdown.html" delete mode 100644 "docs/help/\342\215\237repeat.html" delete mode 100644 "docs/help/\342\215\267deduplicate find.html" delete mode 100644 "docs/help/\342\216\211rank.html" delete mode 100644 "docs/help/\342\216\212catch.html" delete mode 100644 "docs/help/\342\227\213over.html" delete mode 100644 "docs/help/\342\227\266choose.html" delete mode 100644 "docs/help/\342\232\207depth.html" delete mode 100644 "docs/help/\342\237\234after bindright.html" delete mode 100644 "docs/help/\342\245\212deshape reshape.html" (limited to 'docs') diff --git a/docs/help/!assert assertwithmsg.html b/docs/help/!assert assertwithmsg.html deleted file mode 100644 index dd6108d1..00000000 --- a/docs/help/!assert assertwithmsg.html +++ /dev/null @@ -1,31 +0,0 @@ - - - - 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 deleted file mode 100644 index 57655273..00000000 --- a/docs/help/+conjugate add.html +++ /dev/null @@ -1,23 +0,0 @@ - - - - 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 deleted file mode 100644 index dd66ef1d..00000000 --- a/docs/help/-negate subtract.html +++ /dev/null @@ -1,27 +0,0 @@ - - - - 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 deleted file mode 100644 index 7183739a..00000000 --- a/docs/help/=rank equal.html +++ /dev/null @@ -1,27 +0,0 @@ - - - - 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 deleted file mode 100644 index 9036a838..00000000 --- a/docs/help/>merge great.html +++ /dev/null @@ -1,33 +0,0 @@ - - - - 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 deleted file mode 100644 index ff518e99..00000000 --- a/docs/help/`scan.html +++ /dev/null @@ -1,29 +0,0 @@ - - - - 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/abs_modulus.html b/docs/help/abs_modulus.html new file mode 100644 index 00000000..fe6449f0 --- /dev/null +++ b/docs/help/abs_modulus.html @@ -0,0 +1,25 @@ + + + + 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/after_bindright.html b/docs/help/after_bindright.html new file mode 100644 index 00000000..1e3266ef --- /dev/null +++ b/docs/help/after_bindright.html @@ -0,0 +1,40 @@ + + + + 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: Double subjects (missing β€Ώ?)
+
+       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/assert_assertwithmsg.html b/docs/help/assert_assertwithmsg.html new file mode 100644 index 00000000..e172ecbd --- /dev/null +++ b/docs/help/assert_assertwithmsg.html @@ -0,0 +1,29 @@ + + + + BQN: Exclamation Mark (`!`) + + +

Exclamation Mark (!)

+

! 𝕩: Assert

+

Throw an error if 𝕩 is not 1.

+↗️
       ! 1
+1
+
+       ! 2
+Error: Assertion error
+
+       ! "hello"
+Error: hello
+
+

𝕨 ! 𝕩: Dyad

+

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

+↗️
       "hi" ! 1
+1
+
+       "two" ! 2
+Error: two
+
+       "hello error" ! "hello"
+Error: hello error
+
diff --git a/docs/help/atop.html b/docs/help/atop.html new file mode 100644 index 00000000..2b01480b --- /dev/null +++ b/docs/help/atop.html @@ -0,0 +1,28 @@ + + + + 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/before_bindleft.html b/docs/help/before_bindleft.html new file mode 100644 index 00000000..f084fe4c --- /dev/null +++ b/docs/help/before_bindleft.html @@ -0,0 +1,40 @@ + + + + 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/catch.html b/docs/help/catch.html new file mode 100644 index 00000000..2485a29b --- /dev/null +++ b/docs/help/catch.html @@ -0,0 +1,17 @@ + + + + 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/ceiling_maximum.html b/docs/help/ceiling_maximum.html new file mode 100644 index 00000000..bc592eea --- /dev/null +++ b/docs/help/ceiling_maximum.html @@ -0,0 +1,22 @@ + + + + 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/cells.html b/docs/help/cells.html new file mode 100644 index 00000000..a914e696 --- /dev/null +++ b/docs/help/cells.html @@ -0,0 +1,27 @@ + + + + BQN: Breve (`˘`) + + +

Breve (˘)

+

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

+

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

+↗️
       a ← 3β€Ώ3 β₯Š ↕9
+
+
+       <˘ 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/choose.html b/docs/help/choose.html new file mode 100644 index 00000000..9598863b --- /dev/null +++ b/docs/help/choose.html @@ -0,0 +1,23 @@ + + + + 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/classify_indexof.html b/docs/help/classify_indexof.html new file mode 100644 index 00000000..439380a8 --- /dev/null +++ b/docs/help/classify_indexof.html @@ -0,0 +1,31 @@ + + + + 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
+
+       ⊐ 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
+Error: Redefinition
+
+       a ⊐ ⟨9β€Ώ0β€Ώ9⟩
+β”ŒΒ·   
+Β· 3  
+    β”˜
+
diff --git a/docs/help/conjugate_add.html b/docs/help/conjugate_add.html new file mode 100644 index 00000000..9f42ea1e --- /dev/null +++ b/docs/help/conjugate_add.html @@ -0,0 +1,26 @@ + + + + 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 an integer.

+

Pervasive.

+↗️
      1 + 2
+3
+
+      1 + 2β€Ώ3β€Ώ4
+⟨ 3 4 5 ⟩
+
+      'a' + 4
+'e'
+
diff --git a/docs/help/constant.html b/docs/help/constant.html new file mode 100644 index 00000000..10312562 --- /dev/null +++ b/docs/help/constant.html @@ -0,0 +1,15 @@ + + + + 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/deduplicate_find.html b/docs/help/deduplicate_find.html new file mode 100644 index 00000000..8a57c765 --- /dev/null +++ b/docs/help/deduplicate_find.html @@ -0,0 +1,40 @@ + + + + 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
+
+       ⍷ 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
+Error: Redefinition
+
+       b ← (0β€Ώ3β€Ώ0≍0β€Ώ1β€Ώ0)
+
+       b ⍷ a
+β”Œβ”€   
+β•΅ 0  
+  0  
+    β”˜
+
diff --git a/docs/help/depth.html b/docs/help/depth.html new file mode 100644 index 00000000..be9d22d5 --- /dev/null +++ b/docs/help/depth.html @@ -0,0 +1,15 @@ + + + + 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/depth_match.html b/docs/help/depth_match.html new file mode 100644 index 00000000..ab4ddf5b --- /dev/null +++ b/docs/help/depth_match.html @@ -0,0 +1,26 @@ + + + + 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/deshape_reshape.html b/docs/help/deshape_reshape.html new file mode 100644 index 00000000..fa7992a9 --- /dev/null +++ b/docs/help/deshape_reshape.html @@ -0,0 +1,45 @@ + + + + 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  
+      β”˜
+
diff --git a/docs/help/each.html b/docs/help/each.html new file mode 100644 index 00000000..0b4b2e53 --- /dev/null +++ b/docs/help/each.html @@ -0,0 +1,19 @@ + + + + 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/enclose_less.html b/docs/help/enclose_less.html new file mode 100644 index 00000000..634b255e --- /dev/null +++ b/docs/help/enclose_less.html @@ -0,0 +1,28 @@ + + + + BQN: Lesser Than (`<`) + + +

Lesser Than (<)

+

< 𝕩: Enclose

+

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

+↗️
      <1
+β”ŒΒ·   
+Β· 1  
+    β”˜
+
+    
+Error: Empty program
+      β‰’<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/enlist_pair.html b/docs/help/enlist_pair.html new file mode 100644 index 00000000..b28f9c8c --- /dev/null +++ b/docs/help/enlist_pair.html @@ -0,0 +1,39 @@ + + + + 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/exponential_power.html b/docs/help/exponential_power.html new file mode 100644 index 00000000..6156110d --- /dev/null +++ b/docs/help/exponential_power.html @@ -0,0 +1,25 @@ + + + + BQN: Star (`⋆`) + + +

Star (⋆)

+

⋆ 𝕩: Exponential

+

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

+

Pervasive.

+↗️
      ⋆ 0β€Ώ1β€Ώ2β€Ώ3
+⟨ 1 2.718281828459045 7.38905609893065 20.08553692318767 ⟩
+
+

𝕨 ⋆ 𝕩: Power

+

𝕨 to the power of 𝕩.

+

Pervasive.

+↗️
      2 ⋆ 5
+32
+
+      8β€Ώ5β€Ώ9 ⋆ 2
+⟨ 64 25 81 ⟩
+
+      2β€Ώ3 ⋆ 3β€ΏΒ―4
+⟨ 8 0.01234567901234568 ⟩
+
diff --git a/docs/help/first_pick.html b/docs/help/first_pick.html new file mode 100644 index 00000000..6c829cbf --- /dev/null +++ b/docs/help/first_pick.html @@ -0,0 +1,28 @@ + + + + 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
+
+       βŠ‘ a
+0
+
+

𝕨 βŠ‘ 𝕩: Pick

+

Pick the element of 𝕨 at index 𝕩.

+↗️
       2 βŠ‘ ⟨1, 2, 3⟩
+3
+
+       a ← 3β€Ώ3 β₯Š ↕9
+Error: Redefinition
+
+       2β€Ώ0 βŠ‘ a
+6
+
diff --git a/docs/help/firstcell_select.html b/docs/help/firstcell_select.html new file mode 100644 index 00000000..63369774 --- /dev/null +++ b/docs/help/firstcell_select.html @@ -0,0 +1,33 @@ + + + + BQN: Square Image Of (`⊏`) + + +

Square Image Of (⊏)

+

⊏ 𝕩: First Cell

+

First major cell of 𝕩.

+↗️
       ⊏ ⟨1, 2, 3⟩
+β”ŒΒ·   
+Β· 1  
+    β”˜
+
+       a ← 3β€Ώ3 β₯Š ↕9
+
+       ⊏ 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
+Error: Redefinition
+
+       2β€Ώ0 ⊏ a
+β”Œβ”€       
+β•΅ 6 7 8  
+  0 1 2  
+        β”˜
+
diff --git a/docs/help/floor_minimum.html b/docs/help/floor_minimum.html new file mode 100644 index 00000000..75aa49a4 --- /dev/null +++ b/docs/help/floor_minimum.html @@ -0,0 +1,22 @@ + + + + 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/fold.html b/docs/help/fold.html new file mode 100644 index 00000000..019d92eb --- /dev/null +++ b/docs/help/fold.html @@ -0,0 +1,35 @@ + + + + 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/gradedown_binsdown.html b/docs/help/gradedown_binsdown.html new file mode 100644 index 00000000..4aa25059 --- /dev/null +++ b/docs/help/gradedown_binsdown.html @@ -0,0 +1,29 @@ + + + + BQN: Del Stile (`⍒`) + + +

Del Stile (⍒)

+

⍒ 𝕩: Grade Down

+

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

+↗️
       a ← 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/gradeup_binsup.html b/docs/help/gradeup_binsup.html new file mode 100644 index 00000000..ef5ac4ba --- /dev/null +++ b/docs/help/gradeup_binsup.html @@ -0,0 +1,28 @@ + + + + BQN: Delta Stile (`⍋`) + + +

Delta Stile (⍋)

+

⍋ 𝕩: Grade Up

+

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

+↗️
       a ← 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/greatequal.html b/docs/help/greatequal.html new file mode 100644 index 00000000..0ef22e70 --- /dev/null +++ b/docs/help/greatequal.html @@ -0,0 +1,16 @@ + + + + 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/groupindices_group.html b/docs/help/groupindices_group.html new file mode 100644 index 00000000..2c0bc452 --- /dev/null +++ b/docs/help/groupindices_group.html @@ -0,0 +1,32 @@ + + + + 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/identity_left.html b/docs/help/identity_left.html new file mode 100644 index 00000000..a643aed2 --- /dev/null +++ b/docs/help/identity_left.html @@ -0,0 +1,20 @@ + + + + BQN: Left Tack (`⊣`) + + +

Left Tack (⊣)

+

⊣ 𝕩:

+

Return 𝕩.

+↗️
      ⊣ 5
+5
+
+

𝕨 ⊣ 𝕩: Left

+

Return 𝕨.

+↗️
      5 ⊣ 8
+5
+
+      'a' ⊣ 1β€Ώ2β€Ώ3
+'a'
+
diff --git a/docs/help/identity_right.html b/docs/help/identity_right.html new file mode 100644 index 00000000..e6867881 --- /dev/null +++ b/docs/help/identity_right.html @@ -0,0 +1,20 @@ + + + + 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/indices_replicate.html b/docs/help/indices_replicate.html new file mode 100644 index 00000000..53979e92 --- /dev/null +++ b/docs/help/indices_replicate.html @@ -0,0 +1,24 @@ + + + + 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/join_jointo.html b/docs/help/join_jointo.html new file mode 100644 index 00000000..ccd87b8a --- /dev/null +++ b/docs/help/join_jointo.html @@ -0,0 +1,43 @@ + + + + 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
+
+       ∾ 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
+
+       c ← 4β€Ώ3 β₯Š ↕12 
+
+       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/length_notequal.html b/docs/help/length_notequal.html new file mode 100644 index 00000000..1b9f1b37 --- /dev/null +++ b/docs/help/length_notequal.html @@ -0,0 +1,35 @@ + + + + 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/lessequal.html b/docs/help/lessequal.html new file mode 100644 index 00000000..061f9756 --- /dev/null +++ b/docs/help/lessequal.html @@ -0,0 +1,16 @@ + + + + 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/markfirst_memberof.html b/docs/help/markfirst_memberof.html new file mode 100644 index 00000000..82ccf437 --- /dev/null +++ b/docs/help/markfirst_memberof.html @@ -0,0 +1,35 @@ + + + + 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
+
+       ∊ a
+⟨ 1 1 1 ⟩
+
+

𝕨 ∊ 𝕩: Member Of

+

Is each element in 𝕨 a major cell of 𝕩?

+↗️
       ⟨1⟩ ∊ ↕9
+⟨ 1 ⟩
+
+       a ← 3β€Ώ3 β₯Š ↕9
+Error: Redefinition
+
+       ⟨0β€Ώ1β€Ώ2⟩ ∊ a
+β”ŒΒ·   
+Β· 0  
+    β”˜
+
+       ⟨1β€Ώ3 β₯Š 0β€Ώ1β€Ώ2⟩ ∊ a
+β”ŒΒ·   
+Β· 0  
+    β”˜
+
diff --git a/docs/help/merge_great.html b/docs/help/merge_great.html new file mode 100644 index 00000000..68e84cdf --- /dev/null +++ b/docs/help/merge_great.html @@ -0,0 +1,37 @@ + + + + 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⟩⟩
+
+      >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'
+0
+
diff --git a/docs/help/negate_subtract.html b/docs/help/negate_subtract.html new file mode 100644 index 00000000..f226e61c --- /dev/null +++ b/docs/help/negate_subtract.html @@ -0,0 +1,31 @@ + + + + BQN: Minus (`-`) + + +

Minus (-)

+

- 𝕩: Negate

+

Additive Inverse of 𝕩.

+

Pervasive.

+↗️
      - 1
+Β―1
+
+      - Β―1
+1
+
+

𝕨 - 𝕩: Subtract

+

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

+

Pervasive.

+↗️
      1 - 2
+Β―1
+
+      1 - 2β€Ώ3β€Ώ4
+⟨ ¯1 ¯2 ¯3 ⟩
+
+      'a' - 4
+']'
+
+      'b' - 'a'
+1
+
diff --git a/docs/help/not_span.html b/docs/help/not_span.html new file mode 100644 index 00000000..d6fd4cf3 --- /dev/null +++ b/docs/help/not_span.html @@ -0,0 +1,25 @@ + + + + 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/occcount_progindex.html b/docs/help/occcount_progindex.html new file mode 100644 index 00000000..cb0c320f --- /dev/null +++ b/docs/help/occcount_progindex.html @@ -0,0 +1,26 @@ + + + + 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/over.html b/docs/help/over.html new file mode 100644 index 00000000..a7629b90 --- /dev/null +++ b/docs/help/over.html @@ -0,0 +1,28 @@ + + + + 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/prefixes_take.html b/docs/help/prefixes_take.html new file mode 100644 index 00000000..61d27740 --- /dev/null +++ b/docs/help/prefixes_take.html @@ -0,0 +1,56 @@ + + + + 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
+
+       ↑ 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
+Error: Redefinition
+
+      3β€Ώ3 ↑ a
+β”Œβ”€       
+β•΅ 0 1 2  
+  3 4 5  
+  6 7 8  
+        β”˜
+
+      5β€Ώ5 ↑ a
+β”Œβ”€           
+β•΅ 0 1 2 0 0  
+  3 4 5 0 0  
+  6 7 8 0 0  
+  0 0 0 0 0  
+  0 0 0 0 0  
+            β”˜
+
+      3β€ΏΒ―3 ↑ a
+β”Œβ”€       
+β•΅ 0 1 2  
+  3 4 5  
+  6 7 8  
+        β”˜
+
diff --git a/docs/help/range_windows.html b/docs/help/range_windows.html new file mode 100644 index 00000000..7af5a587 --- /dev/null +++ b/docs/help/range_windows.html @@ -0,0 +1,48 @@ + + + + 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
+
+       2β€Ώ2 ↕ a
+β”Œβ”€     
+┆ 0 1  
+  3 4  
+       
+  1 2  
+  4 5  
+       
+       
+  3 4  
+  6 7  
+       
+  4 5  
+  7 8  
+      β”˜
+
diff --git a/docs/help/rank.html b/docs/help/rank.html new file mode 100644 index 00000000..b0b7192b --- /dev/null +++ b/docs/help/rank.html @@ -0,0 +1,29 @@ + + + + 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"
+
+       βŒ½βŽ‰2 a
+β”Œβ”€      
+β•Ž"EFGH  
+  ABCD  
+        
+ Β·MNOP  
+  IJKL  
+        
+ Β·UVWX  
+  QRST" 
+       β”˜
+
diff --git a/docs/help/rank_equal.html b/docs/help/rank_equal.html new file mode 100644 index 00000000..7075284f --- /dev/null +++ b/docs/help/rank_equal.html @@ -0,0 +1,44 @@ + + + + BQN: Equal (`=`) + + +

Equal (=)

+

= 𝕩: Rank

+

Returns the number of dimensions in 𝕩.

+↗️
      = 0
+0
+
+      = 3β₯Š0
+1
+
+      = 3β€Ώ3β₯Š0
+2
+
+      3β€Ώ3β€Ώ3 β₯Š ⟨⟨0⟩⟩
+β”Œβ”€                   
+β•Ž ⟨ 0 ⟩ ⟨ 0 ⟩ ⟨ 0 ⟩  
+  ⟨ 0 ⟩ ⟨ 0 ⟩ ⟨ 0 ⟩  
+  ⟨ 0 ⟩ ⟨ 0 ⟩ ⟨ 0 ⟩  
+                     
+  ⟨ 0 ⟩ ⟨ 0 ⟩ ⟨ 0 ⟩  
+  ⟨ 0 ⟩ ⟨ 0 ⟩ ⟨ 0 ⟩  
+  ⟨ 0 ⟩ ⟨ 0 ⟩ ⟨ 0 ⟩  
+                     
+  ⟨ 0 ⟩ ⟨ 0 ⟩ ⟨ 0 ⟩  
+  ⟨ 0 ⟩ ⟨ 0 ⟩ ⟨ 0 ⟩  
+  ⟨ 0 ⟩ ⟨ 0 ⟩ ⟨ 0 ⟩  
+                    β”˜
+
+

𝕨 = 𝕩: Equal To

+

Pervasive.

+↗️
      1 = 3
+0
+
+      2β€Ώ3β€Ώ0 = 3β€Ώ1β€Ώ0
+⟨ 0 0 1 ⟩
+
+      'a' = 'a'
+1
+
diff --git a/docs/help/reciprocal_divide.html b/docs/help/reciprocal_divide.html new file mode 100644 index 00000000..7aaee42d --- /dev/null +++ b/docs/help/reciprocal_divide.html @@ -0,0 +1,22 @@ + + + + BQN: Divide (`Γ·`) + + +

Divide (Γ·)

+

Γ· 𝕩: Reciprocal

+

Gives 1 Γ· 𝕩.

+

Pervasive.

+↗️
      Γ· 5
+0.2
+
+

𝕨 Γ· 𝕩: Divide

+

𝕨 divided by 𝕩.

+

Pervasive.

+↗️
    5 Γ· 4
+1.25
+
+    14 Γ· 7
+2
+
diff --git a/docs/help/repeat.html b/docs/help/repeat.html new file mode 100644 index 00000000..b9cb2cb0 --- /dev/null +++ b/docs/help/repeat.html @@ -0,0 +1,19 @@ + + + + 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/reverse_rotate.html b/docs/help/reverse_rotate.html new file mode 100644 index 00000000..10b7cbb0 --- /dev/null +++ b/docs/help/reverse_rotate.html @@ -0,0 +1,36 @@ + + + + BQN: Circle Stile (`⌽`) + + +

Circle Stile (⌽)

+

⌽ 𝕩: Reverse

+

Reverse the first axis of 𝕩.

+↗️
       ⌽ 1β€Ώ2β€Ώ3
+⟨ 3 2 1 ⟩
+
+       a ← 3β€Ώ3 β₯Š ↕9
+
+       ⌽ 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
+Error: Redefinition
+
+       2 ⌽ a
+β”Œβ”€       
+β•΅ 6 7 8  
+  0 1 2  
+  3 4 5  
+        β”˜
+
diff --git a/docs/help/scan.html b/docs/help/scan.html new file mode 100644 index 00000000..9ddf093a --- /dev/null +++ b/docs/help/scan.html @@ -0,0 +1,35 @@ + + + + BQN: Grave (`` ` ``) + + +

Grave (`)

+

𝔽` 𝕩: 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/self_swap.html b/docs/help/self_swap.html new file mode 100644 index 00000000..2115ac69 --- /dev/null +++ b/docs/help/self_swap.html @@ -0,0 +1,23 @@ + + + + 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/shape_notmatch.html b/docs/help/shape_notmatch.html new file mode 100644 index 00000000..459237e3 --- /dev/null +++ b/docs/help/shape_notmatch.html @@ -0,0 +1,26 @@ + + + + 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/shiftafter.html b/docs/help/shiftafter.html new file mode 100644 index 00000000..0254594a --- /dev/null +++ b/docs/help/shiftafter.html @@ -0,0 +1,36 @@ + + + + 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
+
+       1β€Ώ2β€Ώ3 Β» a
+β”Œβ”€       
+β•΅ 1 2 3  
+  9 9 9  
+  9 9 9  
+        β”˜
+
diff --git a/docs/help/shiftbefore.html b/docs/help/shiftbefore.html new file mode 100644 index 00000000..ec12f634 --- /dev/null +++ b/docs/help/shiftbefore.html @@ -0,0 +1,36 @@ + + + + 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
+⟨ 2 3 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
+
+       1β€Ώ2β€Ώ3 Β« a
+β”Œβ”€       
+β•΅ 9 9 9  
+  9 9 9  
+  1 2 3  
+        β”˜
+
diff --git a/docs/help/sign_multiply.html b/docs/help/sign_multiply.html new file mode 100644 index 00000000..e6eaf594 --- /dev/null +++ b/docs/help/sign_multiply.html @@ -0,0 +1,27 @@ + + + + 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/sindices replicate.html b/docs/help/sindices replicate.html deleted file mode 100644 index 85d4f107..00000000 --- a/docs/help/sindices replicate.html +++ /dev/null @@ -1,22 +0,0 @@ - - - - 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/solo_couple.html b/docs/help/solo_couple.html new file mode 100644 index 00000000..7c663d1a --- /dev/null +++ b/docs/help/solo_couple.html @@ -0,0 +1,51 @@ + + + + BQN: Tape (`≍`) + + +

Tape (≍)

+

≍ 𝕩: Solo

+

Add a dimension to 𝕩.

+↗️
      ≍ 1
+⟨ 1 ⟩
+
+      
+Error: Empty program
+      ≍≍ 1
+β”Œβ”€   
+β•΅ 1  
+    β”˜
+
+      
+Error: Empty program
+     ≍≍≍ 1
+β”Œβ”€   
+β•Ž 1  
+    β”˜
+
+      
+Error: Empty program
+     ≍≍ 1β€Ώ2β€Ώ3β€Ώ4
+β”Œβ”€         
+β•Ž 1 2 3 4  
+          β”˜
+
+      
+Error: Empty program
+     ≍≍≍ 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/sortdown_or.html b/docs/help/sortdown_or.html new file mode 100644 index 00000000..6b070b80 --- /dev/null +++ b/docs/help/sortdown_or.html @@ -0,0 +1,24 @@ + + + + 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/sortup_and.html b/docs/help/sortup_and.html new file mode 100644 index 00000000..24516c59 --- /dev/null +++ b/docs/help/sortup_and.html @@ -0,0 +1,21 @@ + + + + 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/squareroot_root.html b/docs/help/squareroot_root.html new file mode 100644 index 00000000..94883873 --- /dev/null +++ b/docs/help/squareroot_root.html @@ -0,0 +1,21 @@ + + + + BQN: Root (`√`) + + +

Root (√)

+

√ 𝕩: Square root

+

Pervasive.

+↗️
      √ 2
+1.414213562373095
+
+

𝕨 √ 𝕩: Root

+

𝕨th root of 𝕩.

+

Pervasive.

+↗️
      2 √ 2
+1.414213562373095
+
+      1β€Ώ2β€Ώ3β€Ώ4 √ 4  
+⟨ 4 2 1.587401051968199 1.414213562373095 ⟩
+
diff --git a/docs/help/suffixes_drop.html b/docs/help/suffixes_drop.html new file mode 100644 index 00000000..c581087c --- /dev/null +++ b/docs/help/suffixes_drop.html @@ -0,0 +1,45 @@ + + + + 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
+
+       ↓ 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
+Error: Redefinition
+
+       3β€Ώ3 ↓ a
+β”Œβ”
+β””β”˜
+
+       5β€Ώ5 ↓ a
+β”Œβ”
+β””β”˜
+
+
+       3β€ΏΒ―3 ↓ a
+β”Œβ”
+β””β”˜
+
diff --git a/docs/help/table.html b/docs/help/table.html new file mode 100644 index 00000000..cc52c41a --- /dev/null +++ b/docs/help/table.html @@ -0,0 +1,24 @@ + + + + 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/transpose_dyadtranspose.html b/docs/help/transpose_dyadtranspose.html new file mode 100644 index 00000000..2d42e13a --- /dev/null +++ b/docs/help/transpose_dyadtranspose.html @@ -0,0 +1,31 @@ + + + + BQN: Circle Backslash (`⍉`) + + +

Circle Backslash (⍉)

+

⍉ 𝕩: Transpose

+

Move the first axis of 𝕩 to the end.

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

𝕨 ⍉ 𝕩: Dyad

+

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

+↗️
       β‰’ a ← 2β€Ώ3β€Ώ4β€Ώ5β€Ώ6 β₯Š1
+Error: Redefinition
+
+       β‰’ 1β€Ώ3β€Ώ2β€Ώ0β€Ώ4 ⍉ a
+Error: 𝕨⍉𝕩: Length of 𝕨 must not exceed rank of 𝕩
+
diff --git a/docs/help/under.html b/docs/help/under.html new file mode 100644 index 00000000..eb83dd3e --- /dev/null +++ b/docs/help/under.html @@ -0,0 +1,25 @@ + + + + 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/undo.html b/docs/help/undo.html new file mode 100644 index 00000000..f9e3b9d1 --- /dev/null +++ b/docs/help/undo.html @@ -0,0 +1,27 @@ + + + + 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/valences.html b/docs/help/valences.html new file mode 100644 index 00000000..bca22e88 --- /dev/null +++ b/docs/help/valences.html @@ -0,0 +1,23 @@ + + + + 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/|abs modulus.html b/docs/help/|abs modulus.html deleted file mode 100644 index b79e7768..00000000 --- a/docs/help/|abs modulus.html +++ /dev/null @@ -1,23 +0,0 @@ - - - - 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" deleted file mode 100644 index 77befda5..00000000 --- "a/docs/help/\302\250each.html" +++ /dev/null @@ -1,18 +0,0 @@ - - - - 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" deleted file mode 100644 index a00dab2a..00000000 --- "a/docs/help/\302\253shiftbefore.html" +++ /dev/null @@ -1,37 +0,0 @@ - - - - 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" deleted file mode 100644 index 1cb72c28..00000000 --- "a/docs/help/\302\254not span.html" +++ /dev/null @@ -1,23 +0,0 @@ - - - - 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" deleted file mode 100644 index a8f493df..00000000 --- "a/docs/help/\302\264fold.html" +++ /dev/null @@ -1,29 +0,0 @@ - - - - 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" deleted file mode 100644 index c60a807a..00000000 --- "a/docs/help/\302\273shiftafter.html" +++ /dev/null @@ -1,37 +0,0 @@ - - - - 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" deleted file mode 100644 index 512c22c0..00000000 --- "a/docs/help/\303\227sign multiply.html" +++ /dev/null @@ -1,26 +0,0 @@ - - - - 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" deleted file mode 100644 index 4b101e04..00000000 --- "a/docs/help/\303\267reciprocal divide.html" +++ /dev/null @@ -1,18 +0,0 @@ - - - - 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" deleted file mode 100644 index e5ad35f0..00000000 --- "a/docs/help/\313\230cells.html" +++ /dev/null @@ -1,29 +0,0 @@ - - - - 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" deleted file mode 100644 index 60277f67..00000000 --- "a/docs/help/\313\231constant.html" +++ /dev/null @@ -1,14 +0,0 @@ - - - - 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" deleted file mode 100644 index 7e2ac485..00000000 --- "a/docs/help/\313\234self swap.html" +++ /dev/null @@ -1,21 +0,0 @@ - - - - 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" deleted file mode 100644 index 71689517..00000000 --- "a/docs/help/\342\201\274undo.html" +++ /dev/null @@ -1,22 +0,0 @@ - - - - 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" deleted file mode 100644 index 32374c82..00000000 --- "a/docs/help/\342\206\221prefixes take.html" +++ /dev/null @@ -1,60 +0,0 @@ - - - - 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" deleted file mode 100644 index 47856529..00000000 --- "a/docs/help/\342\206\223suffixes drop.html" +++ /dev/null @@ -1,50 +0,0 @@ - - - - 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" deleted file mode 100644 index c95dc2ea..00000000 --- "a/docs/help/\342\206\225range windows.html" +++ /dev/null @@ -1,50 +0,0 @@ - - - - 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" deleted file mode 100644 index bf81acd1..00000000 --- "a/docs/help/\342\210\212markfirst memberof.html" +++ /dev/null @@ -1,37 +0,0 @@ - - - - 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" deleted file mode 100644 index 64b7e88e..00000000 --- "a/docs/help/\342\210\230atop.html" +++ /dev/null @@ -1,25 +0,0 @@ - - - - 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" deleted file mode 100644 index 368b5dc4..00000000 --- "a/docs/help/\342\210\232squareroot root.html" +++ /dev/null @@ -1,20 +0,0 @@ - - - - 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" deleted file mode 100644 index 929aa02c..00000000 --- "a/docs/help/\342\210\247sortup and.html" +++ /dev/null @@ -1,20 +0,0 @@ - - - - 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" deleted file mode 100644 index f1387efa..00000000 --- "a/docs/help/\342\210\250sortdown or.html" +++ /dev/null @@ -1,22 +0,0 @@ - - - - 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" deleted file mode 100644 index f7bdd34b..00000000 --- "a/docs/help/\342\210\276join jointo.html" +++ /dev/null @@ -1,59 +0,0 @@ - - - - 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" deleted file mode 100644 index 03724b83..00000000 --- "a/docs/help/\342\211\215solo couple.html" +++ /dev/null @@ -1,42 +0,0 @@ - - - - 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" deleted file mode 100644 index 9be8af50..00000000 --- "a/docs/help/\342\211\240length notequal.html" +++ /dev/null @@ -1,29 +0,0 @@ - - - - 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" deleted file mode 100644 index 54b53fff..00000000 --- "a/docs/help/\342\211\241depth match.html" +++ /dev/null @@ -1,23 +0,0 @@ - - - - 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" deleted file mode 100644 index 59f83326..00000000 --- "a/docs/help/\342\211\242shape notmatch.html" +++ /dev/null @@ -1,23 +0,0 @@ - - - - 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" deleted file mode 100644 index c83d1ed7..00000000 --- "a/docs/help/\342\211\244lessequal.html" +++ /dev/null @@ -1,15 +0,0 @@ - - - - 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" deleted file mode 100644 index c4b989b0..00000000 --- "a/docs/help/\342\211\245greatequal.html" +++ /dev/null @@ -1,15 +0,0 @@ - - - - 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" deleted file mode 100644 index fd81d404..00000000 --- "a/docs/help/\342\212\217firstcell select.html" +++ /dev/null @@ -1,38 +0,0 @@ - - - - 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" deleted file mode 100644 index 0e8dbcb2..00000000 --- "a/docs/help/\342\212\220classify indexof.html" +++ /dev/null @@ -1,36 +0,0 @@ - - - - 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" deleted file mode 100644 index c4f69e8d..00000000 --- "a/docs/help/\342\212\221first pick.html" +++ /dev/null @@ -1,33 +0,0 @@ - - - - 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" deleted file mode 100644 index b071f497..00000000 --- "a/docs/help/\342\212\222occcount progindex.html" +++ /dev/null @@ -1,24 +0,0 @@ - - - - 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" deleted file mode 100644 index 0db2d646..00000000 --- "a/docs/help/\342\212\224groupindices group.html" +++ /dev/null @@ -1,29 +0,0 @@ - - - - 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" deleted file mode 100644 index a250b39a..00000000 --- "a/docs/help/\342\212\230valences.html" +++ /dev/null @@ -1,21 +0,0 @@ - - - - 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" deleted file mode 100644 index db9c8425..00000000 --- "a/docs/help/\342\212\242identity right.html" +++ /dev/null @@ -1,19 +0,0 @@ - - - - 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" deleted file mode 100644 index 290e3863..00000000 --- "a/docs/help/\342\212\243identity left.html" +++ /dev/null @@ -1,19 +0,0 @@ - - - - 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" deleted file mode 100644 index aa5a597a..00000000 --- "a/docs/help/\342\212\270before bindleft.html" +++ /dev/null @@ -1,35 +0,0 @@ - - - - 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" deleted file mode 100644 index c69a3e4d..00000000 --- "a/docs/help/\342\213\206exponential power.html" +++ /dev/null @@ -1,23 +0,0 @@ - - - - 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" deleted file mode 100644 index 4c44c154..00000000 --- "a/docs/help/\342\213\210enlist pair.html" +++ /dev/null @@ -1,36 +0,0 @@ - - - - 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" deleted file mode 100644 index 765a9cc0..00000000 --- "a/docs/help/\342\214\210ceiling maximum.html" +++ /dev/null @@ -1,21 +0,0 @@ - - - - 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" deleted file mode 100644 index 0389a5de..00000000 --- "a/docs/help/\342\214\212floor minimum.html" +++ /dev/null @@ -1,21 +0,0 @@ - - - - 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" deleted file mode 100644 index e1a8f6f2..00000000 --- "a/docs/help/\342\214\234table.html" +++ /dev/null @@ -1,23 +0,0 @@ - - - - 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" deleted file mode 100644 index 87156909..00000000 --- "a/docs/help/\342\214\275reverse rotate.html" +++ /dev/null @@ -1,41 +0,0 @@ - - - - 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" deleted file mode 100644 index 980003b4..00000000 --- "a/docs/help/\342\214\276under.html" +++ /dev/null @@ -1,23 +0,0 @@ - - - - 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" deleted file mode 100644 index 18a61154..00000000 --- "a/docs/help/\342\215\211transpose dyadtranspose.html" +++ /dev/null @@ -1,36 +0,0 @@ - - - - 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" deleted file mode 100644 index 040fb2a0..00000000 --- "a/docs/help/\342\215\213gradeup binsup.html" +++ /dev/null @@ -1,26 +0,0 @@ - - - - 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" deleted file mode 100644 index ba6185d5..00000000 --- "a/docs/help/\342\215\222gradedown binsdown.html" +++ /dev/null @@ -1,27 +0,0 @@ - - - - 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" deleted file mode 100644 index 551d9903..00000000 --- "a/docs/help/\342\215\237repeat.html" +++ /dev/null @@ -1,17 +0,0 @@ - - - - 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" deleted file mode 100644 index 2484c921..00000000 --- "a/docs/help/\342\215\267deduplicate find.html" +++ /dev/null @@ -1,55 +0,0 @@ - - - - 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" deleted file mode 100644 index f1a4efc3..00000000 --- "a/docs/help/\342\216\211rank.html" +++ /dev/null @@ -1,38 +0,0 @@ - - - - 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" deleted file mode 100644 index 883b0959..00000000 --- "a/docs/help/\342\216\212catch.html" +++ /dev/null @@ -1,16 +0,0 @@ - - - - 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" deleted file mode 100644 index 2c829578..00000000 --- "a/docs/help/\342\227\213over.html" +++ /dev/null @@ -1,25 +0,0 @@ - - - - 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" deleted file mode 100644 index 1001fb64..00000000 --- "a/docs/help/\342\227\266choose.html" +++ /dev/null @@ -1,20 +0,0 @@ - - - - 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" deleted file mode 100644 index 3c08e568..00000000 --- "a/docs/help/\342\232\207depth.html" +++ /dev/null @@ -1,14 +0,0 @@ - - - - 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" deleted file mode 100644 index da9141d6..00000000 --- "a/docs/help/\342\237\234after bindright.html" +++ /dev/null @@ -1,35 +0,0 @@ - - - - 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" deleted file mode 100644 index 415e2ade..00000000 --- "a/docs/help/\342\245\212deshape reshape.html" +++ /dev/null @@ -1,42 +0,0 @@ - - - - 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