From ae513293cca5fb30dd59874e4e00c0eecab596f6 Mon Sep 17 00:00:00 2001 From: razetime Date: Thu, 20 Jan 2022 08:31:40 +0530 Subject: fix more h2 errors, generate index for repl help --- docs/help/after_bind.html | 6 +- docs/help/atop.html | 4 +- docs/help/before_bind.html | 6 +- docs/help/conjugate_add.html | 2 +- docs/help/enclose_lessthan.html | 2 +- docs/help/exponential_power.html | 4 +- docs/help/fold.html | 1 + docs/help/gradedown_binsdown.html | 2 +- docs/help/gradeup_binsup.html | 2 +- docs/help/greaterthanorequalto.html | 2 +- docs/help/groupindices_group.html | 2 +- docs/help/identity_left.html | 2 +- docs/help/identity_right.html | 2 +- docs/help/index.html | 273 +++++++++++++++++++++++++++++++++++ docs/help/insert.html | 32 ++++ docs/help/lessthanorequalto.html | 2 +- docs/help/over.html | 4 +- docs/help/reciprocal_divide.html | 2 +- docs/help/scan.html | 2 +- docs/help/sign_multiply.html | 2 +- docs/help/squareroot_root.html | 2 +- docs/help/transpose_reorderaxes.html | 2 +- docs/help/valences.html | 2 +- help/after_bind.md | 2 +- help/before_bind.md | 2 +- help/fold.md | 4 +- help/genhelp.bqn | 19 +++ help/groupindices_group.md | 2 +- help/identity_left.md | 2 +- help/identity_right.md | 2 +- help/index.md | 70 +++++++++ help/insert.md | 32 ++++ help/scan.md | 2 +- help/transpose_reorderaxes.md | 2 +- help/valences.md | 2 +- 35 files changed, 465 insertions(+), 36 deletions(-) create mode 100644 docs/help/index.html create mode 100644 docs/help/insert.html create mode 100755 help/genhelp.bqn create mode 100644 help/index.md create mode 100644 help/insert.md diff --git a/docs/help/after_bind.html b/docs/help/after_bind.html index 1e3266ef..45831bb0 100644 --- a/docs/help/after_bind.html +++ b/docs/help/after_bind.html @@ -7,7 +7,7 @@

Left Multimap (⟜)

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

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

-

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

+

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

↗️
       -⟜3 9
 6
 
@@ -19,7 +19,7 @@

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

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

-

𝔽 must be dyadic, 𝔾 must be monadic.

+

𝔽 must be dyadic, 𝔾 must be monadic.

↗️
       Γ—βŸœ- 9
 Β―81
 
@@ -31,7 +31,7 @@

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

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

-

𝔽 must be dyadic, 𝔾 must be monadic.

+

𝔽 must be dyadic, 𝔾 must be monadic.

↗️
       2 Γ—βŸœ- 1
 Β―2
 
diff --git a/docs/help/atop.html b/docs/help/atop.html
index 2b01480b..deef0cff 100644
--- a/docs/help/atop.html
+++ b/docs/help/atop.html
@@ -7,7 +7,7 @@
 
Ring Operator (∘)

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

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

-
𝔽 and 𝔾 must be monadic.

+
𝔽 and 𝔾 must be monadic.

 ↗️
       -∘- 5
 5
 
@@ -16,7 +16,7 @@
 

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

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

-
𝔽 must be monadic, and 𝔾 must be dyadic.

+
#𝔽 must be monadic, and 𝔾 must be dyadic.

 ↗️
       1 -∘+ 2
 Β―3
 
diff --git a/docs/help/before_bind.html b/docs/help/before_bind.html
index f084fe4c..2401702e 100644
--- a/docs/help/before_bind.html
+++ b/docs/help/before_bind.html
@@ -7,7 +7,7 @@
 
Multimap (⊸)

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

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

-
𝕗 must be a value, 𝔾 must be dyadic.

+
𝕗 must be a value, 𝔾 must be dyadic.

 ↗️
       3⊸- 9
 Β―6
 
@@ -16,7 +16,7 @@
 

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

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

-
𝔽 must be monadic, 𝔾 must be dyadic.

+
𝔽 must be monadic, 𝔾 must be dyadic.

 ↗️
       -⊸+ 9
 0
 
@@ -28,7 +28,7 @@
 

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

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

-
𝔽 must be monadic, 𝔾 must be dyadic.

+
𝔽 must be monadic, 𝔾 must be dyadic.

 ↗️
       2 -⊸+ 1
 Β―1
 
diff --git a/docs/help/conjugate_add.html b/docs/help/conjugate_add.html
index 9f42ea1e..6c248885 100644
--- a/docs/help/conjugate_add.html
+++ b/docs/help/conjugate_add.html
@@ -13,7 +13,7 @@
 Β―1
 

 
𝕨 + 𝕩: Add

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

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

 
Pervasive.

 ↗️
      1 + 2
 3
diff --git a/docs/help/enclose_lessthan.html b/docs/help/enclose_lessthan.html
index 634b255e..7bd6bf84 100644
--- a/docs/help/enclose_lessthan.html
+++ b/docs/help/enclose_lessthan.html
@@ -18,7 +18,7 @@
 ⟨⟩
 

 
𝕨 < 𝕩: Lesser Than

-
𝕨 and 𝕩 can both be either numbers or characters.

+
𝕨 and 𝕩 can both be either numbers or characters.

 
Pervasive.

 ↗️
      1 < 3
 1
diff --git a/docs/help/exponential_power.html b/docs/help/exponential_power.html
index 6156110d..8b9de1e9 100644
--- a/docs/help/exponential_power.html
+++ b/docs/help/exponential_power.html
@@ -6,13 +6,13 @@
 
(github) / BQN / help

 
Star (⋆)

 
⋆ 𝕩: Exponential

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

+
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 𝕩.

+
𝕨 to the power of 𝕩.

 
Pervasive.

 ↗️
      2 ⋆ 5
 32
diff --git a/docs/help/fold.html b/docs/help/fold.html
index 019d92eb..065070bb 100644
--- a/docs/help/fold.html
+++ b/docs/help/fold.html
@@ -7,6 +7,7 @@
 
Acute Accent (Β΄)

 
𝔽´ 𝕩: Fold

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

+
𝕩 must be a simple list (1 = =𝕩).

 ↗️
       +Β΄ 1β€Ώ2β€Ώ3
 6
 
diff --git a/docs/help/gradedown_binsdown.html b/docs/help/gradedown_binsdown.html
index 4aa25059..f2ae7787 100644
--- a/docs/help/gradedown_binsdown.html
+++ b/docs/help/gradedown_binsdown.html
@@ -17,7 +17,7 @@
 

 
𝕨 ⍒ 𝕩: Bins Down

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

-
𝕨 must be sorted in descending order.

+
𝕨 must be sorted in descending order.

 
Right Pervasive.

 ↗️
       7β€Ώ5β€Ώ4β€Ώ3 ⍒ 2
 β”ŒΒ·   
diff --git a/docs/help/gradeup_binsup.html b/docs/help/gradeup_binsup.html
index ef5ac4ba..edb64577 100644
--- a/docs/help/gradeup_binsup.html
+++ b/docs/help/gradeup_binsup.html
@@ -17,7 +17,7 @@
 

 
𝕨 ⍋ 𝕩: Bins Up

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

-
𝕨 must be sorted in ascending order.

+
𝕨 must be sorted in ascending order.

 ↗️
       3β€Ώ4β€Ώ5β€Ώ7 ⍋ 2
 β”ŒΒ·   
 Β· 0  
diff --git a/docs/help/greaterthanorequalto.html b/docs/help/greaterthanorequalto.html
index 0ef22e70..63832149 100644
--- a/docs/help/greaterthanorequalto.html
+++ b/docs/help/greaterthanorequalto.html
@@ -6,7 +6,7 @@
 
(github) / BQN / help

 
Greater Than or Equal To (β‰₯)

 
𝕨 β‰₯ 𝕩: Greater Than or Equal To

-
𝕨 and 𝕩 can both be either numbers or characters.

+
𝕨 and 𝕩 can both be either numbers or characters.

 
Pervasive.

 ↗️
      1 β‰₯ 3
 0
diff --git a/docs/help/groupindices_group.html b/docs/help/groupindices_group.html
index 2c0bc452..16a66b97 100644
--- a/docs/help/groupindices_group.html
+++ b/docs/help/groupindices_group.html
@@ -7,7 +7,7 @@
 
Square Cup (βŠ”)

 
βŠ” 𝕩: Group Indices

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

-
𝕩 must consist of integers. Groups start from 0.

+
𝕩 must consist of integers. Groups start from 0.

 ↗️
       βŠ” 4β€Ώ5β€Ώ6β€Ώ6β€Ώ4β€Ώ7β€Ώ5
 ⟨ ⟨⟩ ⟨⟩ ⟨⟩ ⟨⟩ ⟨ 0 4 ⟩ ⟨ 1 6 ⟩ ⟨ 2 3 ⟩ ⟨ 5 ⟩ ⟩
 
diff --git a/docs/help/identity_left.html b/docs/help/identity_left.html
index a643aed2..c0560573 100644
--- a/docs/help/identity_left.html
+++ b/docs/help/identity_left.html
@@ -5,7 +5,7 @@
 
 
(github) / BQN / help

 
Left Tack (⊣)

-
⊣ 𝕩:

+
⊣ 𝕩: Identity

 
Return 𝕩.

 ↗️
      ⊣ 5
 5
diff --git a/docs/help/identity_right.html b/docs/help/identity_right.html
index e6867881..fbfc2cf7 100644
--- a/docs/help/identity_right.html
+++ b/docs/help/identity_right.html
@@ -5,7 +5,7 @@
 
 
(github) / BQN / help

 
Right Tack (⊒)

-
⊒ 𝕩:

+
⊒ 𝕩: Identity

 
Return 𝕩.

 ↗️
      ⊒ 5
 5
diff --git a/docs/help/index.html b/docs/help/index.html
new file mode 100644
index 00000000..cae6b620
--- /dev/null
+++ b/docs/help/index.html
@@ -0,0 +1,273 @@
+
+  
+  
+  BQN: REPL Help
+
+
(github) / BQN / help

+
REPL Help

+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
SymbolLink
|Absolute Value, Modulus
⟜Bind, After, Dyadic After
!Assert, Dyad
∘Atop, Dyadic Atop
⊸Bind Left, Before, Dyadic Before
⎊Catch
⌈Ceiling, Maximum
˘Cells
β—ΆChoose
⊐Classify, Index Of
+Conjugate, Add
Λ™Constant
⍷Deduplicate, Find
≑Depth, Match
βš‡Depth
β₯ŠDeshape, Reshape
Β¨Each
<Enclose, Lesser Than
β‹ˆEnlist, Pair
⋆Exponential, Power
⊏First Cell, Select
βŠ‘First, Pick
⌊Floor, Minimum
Β΄Fold, Fold With initial
⍒Grade Down, Bins Down
⍋Grade Up, Bins Up
β‰₯Greater Than or Equal To
βŠ”Group Indices, Group
⊣Identity, Left
⊒Identity, Right
/Indices, Replicate
˝Insert, Insert With initial
∾Join, Join
β‰ Length, Not Equal To
≀Lesser Than or Equal To
∊Unique Mask, Member Of
>Merge, Greater Than
-Negate, Subtract
Β¬Logical Not, Span
βŠ’Occurrence Count, Progressive Index Of
β—‹Atop, Over
↑Prefixes, Take
↕Range, Windows
=Rank, Equal To
βŽ‰Rank
Γ·Reciprocal, Divide
⍟Repeat
⌽Reverse, Dyad
`Scan, Scan With initial
˜Self, Swap
β‰’Shape, Not Match
Β»Shift After, Shift After
Β«Shift Before, Shift Before
Γ—Sign, Multiply
≍Solo, Couple
∨Sort Down, Logical Or
∧Sort Up, Logical And
√Square root, Root
↓Suffixes, Drop
⌜Each
⍉Transpose, Reorder Axes
⌾Under
⁼Undo
⊘Valences, Dyadic Valences

diff --git a/docs/help/insert.html b/docs/help/insert.html
new file mode 100644
index 00000000..52e42e55
--- /dev/null
+++ b/docs/help/insert.html
@@ -0,0 +1,32 @@
+
+  
+  
+  BQN: Acute Accent (`˝`)
+
+
(github) / BQN / help

+
Acute Accent (˝)

+
𝔽˝ 𝕩: Insert

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

+↗️
       a ← 3β€Ώ3 β₯Š ↕9
+
+       +˝ a
+⟨ 9 12 15 ⟩
+
+       0β€Ώ1β€Ώ2 + 3β€Ώ4β€Ώ5 + 6β€Ώ7β€Ώ8
+⟨ 9 12 15 ⟩
+

+
𝕨 𝔽˝ 𝕩: Insert With initial

+
Monadic insert, but use 𝕨 as initial right argument.

+
If

+↗️
       a ← 3β€Ώ3 β₯Š ↕9
+Error: Redefinition
+
+       1β€Ώ1β€Ώ1 +˝ a
+⟨ 10 13 16 ⟩
+
+       1 +˝ a
+⟨ 10 13 16 ⟩
+
+       0β€Ώ1β€Ώ2 + 3β€Ώ4β€Ώ5 + 6β€Ώ7β€Ώ8 + 1β€Ώ1β€Ώ1
+⟨ 10 13 16 ⟩
+

diff --git a/docs/help/lessthanorequalto.html b/docs/help/lessthanorequalto.html
index 061f9756..70e379b1 100644
--- a/docs/help/lessthanorequalto.html
+++ b/docs/help/lessthanorequalto.html
@@ -6,7 +6,7 @@
 
(github) / BQN / help

 
Lesser Than or Equal To (≀)

 
𝕨 ≀ 𝕩: Lesser Than or Equal To

-
𝕨 and 𝕩 can both be either numbers or characters.

+
𝕨 and 𝕩 can both be either numbers or characters.

 
Pervasive.

 ↗️
      1 ≀ 3
 1
diff --git a/docs/help/over.html b/docs/help/over.html
index a7629b90..518919c1 100644
--- a/docs/help/over.html
+++ b/docs/help/over.html
@@ -7,7 +7,7 @@
 
Circle (β—‹)

 
𝔽○𝔾 𝕩: Atop

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

-
𝔽 and 𝔾 must be monadic.

+
𝔽 and 𝔾 must be monadic.

 ↗️
       -β—‹- 5
 5
 
@@ -16,7 +16,7 @@
 

 
𝕨 𝔽○𝔾 𝕩: Over

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

-
𝔽 must be dyadic, 𝔾 must be monadic.

+
𝔽 must be dyadic, 𝔾 must be monadic.

 ↗️
       1 +β—‹- 2
 Β―3
 
diff --git a/docs/help/reciprocal_divide.html b/docs/help/reciprocal_divide.html
index 7aaee42d..ee87812e 100644
--- a/docs/help/reciprocal_divide.html
+++ b/docs/help/reciprocal_divide.html
@@ -12,7 +12,7 @@
 0.2
 

 
𝕨 Γ· 𝕩: Divide

-
𝕨 divided by 𝕩.

+
𝕨 divided by 𝕩.

 
Pervasive.

 ↗️
    5 Γ· 4
 1.25
diff --git a/docs/help/scan.html b/docs/help/scan.html
index 9ddf093a..362dceb8 100644
--- a/docs/help/scan.html
+++ b/docs/help/scan.html
@@ -5,7 +5,7 @@
 
 
(github) / BQN / help

 
Grave (`)

-
𝔽` 𝕩: Fold

+
𝔽` 𝕩: Scan

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

 ↗️
       +` 1β€Ώ2β€Ώ3
 ⟨ 1 3 6 ⟩
diff --git a/docs/help/sign_multiply.html b/docs/help/sign_multiply.html
index e6eaf594..02a61f65 100644
--- a/docs/help/sign_multiply.html
+++ b/docs/help/sign_multiply.html
@@ -17,7 +17,7 @@
 ⟨ ¯1 0 1 1 ⟩
 

 
𝕨 Γ— 𝕩: Multiply

-
𝕨 multiplied by 𝕩.

+
𝕨 multiplied by 𝕩.

 
Pervasive.

 ↗️
      1 Γ— 2
 2
diff --git a/docs/help/squareroot_root.html b/docs/help/squareroot_root.html
index 94883873..15da07b3 100644
--- a/docs/help/squareroot_root.html
+++ b/docs/help/squareroot_root.html
@@ -11,7 +11,7 @@
 1.414213562373095
 

 
𝕨 √ 𝕩: Root

-
𝕨th root of 𝕩.

+
𝕨th root of 𝕩.

 
Pervasive.

 ↗️
      2 √ 2
 1.414213562373095
diff --git a/docs/help/transpose_reorderaxes.html b/docs/help/transpose_reorderaxes.html
index 2d42e13a..17719fdf 100644
--- a/docs/help/transpose_reorderaxes.html
+++ b/docs/help/transpose_reorderaxes.html
@@ -21,7 +21,7 @@
        ≒⍉ b
 ⟨ 2 3 1 ⟩
 

-
𝕨 ⍉ 𝕩: Dyad

+
𝕨 ⍉ 𝕩: Reorder Axes

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

 ↗️
       β‰’ a ← 2β€Ώ3β€Ώ4β€Ώ5β€Ώ6 β₯Š1
 Error: Redefinition
diff --git a/docs/help/valences.html b/docs/help/valences.html
index bca22e88..8a1072d8 100644
--- a/docs/help/valences.html
+++ b/docs/help/valences.html
@@ -13,7 +13,7 @@
        -⊘+ 5
 Β―5
 

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

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

 
Apply 𝔾 to 𝕨 and 𝕩.

 ↗️
       4 +⊘- 5
 Β―1
diff --git a/help/after_bind.md b/help/after_bind.md
index 5163d4f9..a0c15279 100644
--- a/help/after_bind.md
+++ b/help/after_bind.md
@@ -6,7 +6,7 @@
     
 Supply `π•˜` as a right argument to `𝔽` (`𝕩 𝔽 π•˜`).
     
-## `π•˜` must be a value, `F` must be dyadic.
+`π•˜` must be a value, `F` must be dyadic.
     
            -⟜3 9
 
diff --git a/help/before_bind.md b/help/before_bind.md
index 290e8fe9..c2d0acd5 100644
--- a/help/before_bind.md
+++ b/help/before_bind.md
@@ -6,7 +6,7 @@
     
 Supply `𝕗` as a left argument to `𝔾` (`𝕗 𝔾 𝕩`).
     
-## `𝕗` must be a value, `𝔾` must be dyadic.
+`𝕗` must be a value, `𝔾` must be dyadic.
     
            3⊸- 9
 
diff --git a/help/fold.md b/help/fold.md
index 3684d96c..33b2e0f5 100644
--- a/help/fold.md
+++ b/help/fold.md
@@ -5,7 +5,9 @@
 ## `𝔽´ 𝕩`: Fold
     
 Fold over `𝕩` with `𝔽` from right to left i.e. Insert `𝔽` between the elements of `𝕩`.
-    
+
+`𝕩` must be a simple list (`1 = =𝕩`).
+
            +Β΄ 1β€Ώ2β€Ώ3
 
            1+2+3
diff --git a/help/genhelp.bqn b/help/genhelp.bqn
new file mode 100755
index 00000000..cf50c939
--- /dev/null
+++ b/help/genhelp.bqn
@@ -0,0 +1,19 @@
+#!/usr/bin/env cbqn
+
+thing ← {
+    data ← β€’FLines 𝕩
+    names ← (⊣∾", "∾⊒)Β΄{(¬·∧`' '⊸=)⊸/⌾⌽(2+βŠ‘/':'=𝕩)↓𝕩}Β¨("## "≑3βŠΈβ†‘)¨⊸/data
+    tβ€Ώd ←  ∾/Β¨(⊏data)=Β¨"()"
+    sym ← "`"∾˜"`"∾{'`':"` ` `"; '|':"\"βˆΎπ•© ; 𝕩}Β―3βŠ‘2βŠ‘data
+    β€’Show  "| " ∾ sym ∾ " | [" ∾ names ∾ "]("∾((t+1)↓dβ†‘βŠ‘data)∾ ") |"
+}Β¨β€’args
+
+head ← ⟨
+"*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/index.html).*"
+⟨⟩
+"# REPL Help"
+⟨⟩
+"| Symbol | Link |"
+"|--------|------|"
+⟩
+"index.md.tmp" β€’FLines head ∾ thing #rename once you have a proper file.
\ No newline at end of file
diff --git a/help/groupindices_group.md b/help/groupindices_group.md
index ee0e9762..5afa162b 100644
--- a/help/groupindices_group.md
+++ b/help/groupindices_group.md
@@ -6,7 +6,7 @@
     
 Group the indices of the major cells of `𝕩` by their respective values.
     
-## `𝕩` must consist of integers. Groups start from 0. 
+`𝕩` must consist of integers. Groups start from 0. 
     
            βŠ” 4β€Ώ5β€Ώ6β€Ώ6β€Ώ4β€Ώ7β€Ώ5
 
diff --git a/help/identity_left.md b/help/identity_left.md
index dabe6cc7..3a61225b 100644
--- a/help/identity_left.md
+++ b/help/identity_left.md
@@ -2,7 +2,7 @@
 
 # Left Tack (`⊣`)
     
-## `⊣ 𝕩`: 
+## `⊣ 𝕩`: Identity
     
 Return `𝕩`.
     
diff --git a/help/identity_right.md b/help/identity_right.md
index a0844a8f..da81bf11 100644
--- a/help/identity_right.md
+++ b/help/identity_right.md
@@ -2,7 +2,7 @@
 
 # Right Tack (`⊒`)
     
-## `⊒ 𝕩`: 
+## `⊒ 𝕩`: Identity
     
 Return `𝕩`.
     
diff --git a/help/index.md b/help/index.md
new file mode 100644
index 00000000..8a0f2c1b
--- /dev/null
+++ b/help/index.md
@@ -0,0 +1,70 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/index.html).*
+
+# REPL Help
+
+| Symbol | Link |
+|--------|------|
+| `\|` | [Absolute Value, Modulus](https://mlochbaum.github.io/BQN/help/absolutevalue_modulus.html) |
+| `⟜` | [Bind, After, Dyadic After](https://mlochbaum.github.io/BQN/help/after_bind.html) |
+| `!` | [Assert, Dyad](https://mlochbaum.github.io/BQN/help/assert_assertwithmessage.html) |
+| `∘` | [Atop, Dyadic Atop](https://mlochbaum.github.io/BQN/help/atop.html) |
+| `⊸` | [Bind Left, Before, Dyadic Before](https://mlochbaum.github.io/BQN/help/before_bind.html) |
+| `⎊` | [Catch](https://mlochbaum.github.io/BQN/help/catch.html) |
+| `⌈` | [Ceiling, Maximum](https://mlochbaum.github.io/BQN/help/ceiling_maximum.html) |
+| `˘` | [Cells](https://mlochbaum.github.io/BQN/help/cells.html) |
+| `β—Ά` | [Choose](https://mlochbaum.github.io/BQN/help/choose.html) |
+| `⊐` | [Classify, Index Of](https://mlochbaum.github.io/BQN/help/classify_indexof.html) |
+| `+` | [Conjugate, Add](https://mlochbaum.github.io/BQN/help/conjugate_add.html) |
+| `Λ™` | [Constant](https://mlochbaum.github.io/BQN/help/constant.html) |
+| `⍷` | [Deduplicate, Find](https://mlochbaum.github.io/BQN/help/deduplicate_find.html) |
+| `≑` | [Depth, Match](https://mlochbaum.github.io/BQN/help/depth_match.html) |
+| `βš‡` | [Depth](https://mlochbaum.github.io/BQN/help/depth.html) |
+| `β₯Š` | [Deshape, Reshape](https://mlochbaum.github.io/BQN/help/deshape_reshape.html) |
+| `Β¨` | [Each](https://mlochbaum.github.io/BQN/help/each.html) |
+| `<` | [Enclose, Lesser Than](https://mlochbaum.github.io/BQN/help/enclose_lessthan.html) |
+| `β‹ˆ` | [Enlist, Pair](https://mlochbaum.github.io/BQN/help/enlist_pair.html) |
+| `⋆` | [Exponential, Power](https://mlochbaum.github.io/BQN/help/exponential_power.html) |
+| `⊏` | [First Cell, Select](https://mlochbaum.github.io/BQN/help/firstcell_select.html) |
+| `βŠ‘` | [First, Pick](https://mlochbaum.github.io/BQN/help/first_pick.html) |
+| `⌊` | [Floor, Minimum](https://mlochbaum.github.io/BQN/help/floor_minimum.html) |
+| `Β΄` | [Fold, Fold With initial](https://mlochbaum.github.io/BQN/help/fold.html) |
+| `⍒` | [Grade Down, Bins Down](https://mlochbaum.github.io/BQN/help/gradedown_binsdown.html) |
+| `⍋` | [Grade Up, Bins Up](https://mlochbaum.github.io/BQN/help/gradeup_binsup.html) |
+| `β‰₯` | [Greater Than or Equal To](https://mlochbaum.github.io/BQN/help/greaterthanorequalto.html) |
+| `βŠ”` | [Group Indices, Group](https://mlochbaum.github.io/BQN/help/groupindices_group.html) |
+| `⊣` | [Identity, Left](https://mlochbaum.github.io/BQN/help/identity_left.html) |
+| `⊒` | [Identity, Right](https://mlochbaum.github.io/BQN/help/identity_right.html) |
+| `/` | [Indices, Replicate](https://mlochbaum.github.io/BQN/help/indices_replicate.html) |
+| `˝` | [Insert, Insert With initial](https://mlochbaum.github.io/BQN/help/insert.html) |
+| `∾` | [Join, Join](https://mlochbaum.github.io/BQN/help/join_jointo.html) |
+| `β‰ ` | [Length, Not Equal To](https://mlochbaum.github.io/BQN/help/length_notequals.html) |
+| `≀` | [Lesser Than or Equal To](https://mlochbaum.github.io/BQN/help/lessthanorequalto.html) |
+| `∊` | [Unique Mask, Member Of](https://mlochbaum.github.io/BQN/help/markfirst_memberof.html) |
+| `>` | [Merge, Greater Than](https://mlochbaum.github.io/BQN/help/merge_greaterthan.html) |
+| `-` | [Negate, Subtract](https://mlochbaum.github.io/BQN/help/negate_subtract.html) |
+| `Β¬` | [Logical Not, Span](https://mlochbaum.github.io/BQN/help/not_span.html) |
+| `βŠ’` | [Occurrence Count, Progressive Index Of](https://mlochbaum.github.io/BQN/help/occurrencecount_progressiveindexof.html) |
+| `β—‹` | [Atop, Over](https://mlochbaum.github.io/BQN/help/over.html) |
+| `↑` | [Prefixes, Take](https://mlochbaum.github.io/BQN/help/prefixes_take.html) |
+| `↕` | [Range, Windows](https://mlochbaum.github.io/BQN/help/range_windows.html) |
+| `=` | [Rank, Equal To](https://mlochbaum.github.io/BQN/help/rank_equals.html) |
+| `βŽ‰` | [Rank](https://mlochbaum.github.io/BQN/help/rank.html) |
+| `Γ·` | [Reciprocal, Divide](https://mlochbaum.github.io/BQN/help/reciprocal_divide.html) |
+| `⍟` | [Repeat](https://mlochbaum.github.io/BQN/help/repeat.html) |
+| `⌽` | [Reverse, Dyad](https://mlochbaum.github.io/BQN/help/reverse_rotate.html) |
+| `` ` `` | [Scan, Scan With initial](https://mlochbaum.github.io/BQN/help/scan.html) |
+| `˜` | [Self, Swap](https://mlochbaum.github.io/BQN/help/self_swap.html) |
+| `β‰’` | [Shape, Not Match](https://mlochbaum.github.io/BQN/help/shape_notmatch.html) |
+| `Β»` | [Shift After, Shift After](https://mlochbaum.github.io/BQN/help/shiftafter.html) |
+| `Β«` | [Shift Before, Shift Before](https://mlochbaum.github.io/BQN/help/shiftbefore.html) |
+| `Γ—` | [Sign, Multiply](https://mlochbaum.github.io/BQN/help/sign_multiply.html) |
+| `≍` | [Solo, Couple](https://mlochbaum.github.io/BQN/help/solo_couple.html) |
+| `∨` | [Sort Down, Logical Or](https://mlochbaum.github.io/BQN/help/sortdown_or.html) |
+| `∧` | [Sort Up, Logical And](https://mlochbaum.github.io/BQN/help/sortup_and.html) |
+| `√` | [Square root, Root](https://mlochbaum.github.io/BQN/help/squareroot_root.html) |
+| `↓` | [Suffixes, Drop](https://mlochbaum.github.io/BQN/help/suffixes_drop.html) |
+| `⌜` | [Each](https://mlochbaum.github.io/BQN/help/table.html) |
+| `⍉` | [Transpose, Reorder Axes](https://mlochbaum.github.io/BQN/help/transpose_reorderaxes.html) |
+| `⌾` | [Under](https://mlochbaum.github.io/BQN/help/under.html) |
+| `⁼` | [Undo](https://mlochbaum.github.io/BQN/help/undo.html) |
+| `⊘` | [Valences, Dyadic Valences](https://mlochbaum.github.io/BQN/help/valences.html) |
diff --git a/help/insert.md b/help/insert.md
new file mode 100644
index 00000000..79642d39
--- /dev/null
+++ b/help/insert.md
@@ -0,0 +1,32 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/insert.html).*
+
+# Acute Accent (`˝`)
+    
+## `𝔽˝ 𝕩`: Insert
+    
+Fold over `𝕩` with `𝔽` from right to left i.e. Insert `𝔽` between the major cells of `𝕩`.
+    
+           a ← 3β€Ώ3 β₯Š ↕9
+
+           +˝ a
+
+           0β€Ώ1β€Ώ2 + 3β€Ώ4β€Ώ5 + 6β€Ώ7β€Ώ8
+
+    
+## `𝕨 𝔽˝ 𝕩`: Insert With initial
+    
+Monadic insert, but use `𝕨` as initial right argument.
+
+If 
+    
+           a ← 3β€Ώ3 β₯Š ↕9
+
+           1β€Ώ1β€Ώ1 +˝ a
+
+           1 +˝ a
+
+           0β€Ώ1β€Ώ2 + 3β€Ώ4β€Ώ5 + 6β€Ώ7β€Ώ8 + 1β€Ώ1β€Ώ1
+
+           
+
+    
diff --git a/help/scan.md b/help/scan.md
index c2e92f67..1847de86 100644
--- a/help/scan.md
+++ b/help/scan.md
@@ -2,7 +2,7 @@
 
 # Grave (`` ` ``)
     
-## ``𝔽` 𝕩``: Fold
+## ``𝔽` 𝕩``: Scan
     
 Scan over `𝕩` with `𝔽` from left to right, producing intermediate values.
     
diff --git a/help/transpose_reorderaxes.md b/help/transpose_reorderaxes.md
index 244fc444..72060ce2 100644
--- a/help/transpose_reorderaxes.md
+++ b/help/transpose_reorderaxes.md
@@ -16,7 +16,7 @@ Move the first axis of `𝕩` to the end.
 
     
     
-## `𝕨 ⍉ 𝕩`: Dyad
+## `𝕨 ⍉ 𝕩`: Reorder Axes
     
 Rearrange the axes of `𝕩` as per the axis indices in `𝕨`.
     
diff --git a/help/valences.md b/help/valences.md
index d7ef83b8..e9ac866e 100644
--- a/help/valences.md
+++ b/help/valences.md
@@ -12,7 +12,7 @@ Apply `𝔽` to `𝕩`.
 
     
     
-## `𝕨 π”½βŠ˜π”Ύ 𝕩`: Valences
+## `𝕨 π”½βŠ˜π”Ύ 𝕩`: Dyadic Valences
     
 Apply `𝔾` to `𝕨` and `𝕩`.
     
-- 
cgit v1.2.3