29 files changed, 400 insertions, 5 deletions

diff --git a/help/2-modifierrightoperand.md b/help/2-modifierrightoperand.md
new file mode 100644
index 00000000..a85a552a
--- /dev/null
+++ b/help/2-modifierrightoperand.md
@@ -0,0 +1,9 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/2-modifierrightoperand.html).*
+
+# Mathematical Double-struck G (`𝔾`)
+
+## `𝔾`: 2-Modifier Right operand
+
+A variable assigned to the right operand of a 2-modifier block. `𝕘` can be used to access the right operand as a value.
+
+        5 +{𝕘}3 1
\ No newline at end of file
diff --git a/help/README.md b/help/README.md
index 2d6d3cf1..d7c505d2 100644
--- a/help/README.md
+++ b/help/README.md
@@ -2,28 +2,44 @@
 
 # REPL Help
 
+Symbols are listed in alphabetical order of page name, ignoring syntactical roles.
+
 | Symbol | Link |
 |--------|------|
+| `𝔾` | [2-Modifier Right operand](2-modifierrightoperand.md) |
 | `\|` | [Absolute Value, Modulus](absolutevalue_modulus.md) |
 | `⟜` | [Bind, After, Dyadic After](after_bind.md) |
-| `!` | [Assert, Dyad](assert_assertwithmessage.md) |
+| `!` | [Assert, Assert With Message](assert_assertwithmessage.md) |
 | `∘` | [Atop, Dyadic Atop](atop.md) |
 | `⊸` | [Bind Left, Before, Dyadic Before](before_bind.md) |
+| `{` | [Begin Block](beginblock.md) |
+| `(` | [Begin Expression](beginexpression.md) |
+| `⟨` | [Begin list](beginlist.md) |
 | `⎊` | [Catch](catch.md) |
 | `⌈` | [Ceiling, Maximum](ceiling_maximum.md) |
 | `˘` | [Cells](cells.md) |
+| `←` | [Change](change.md) |
 | `◶` | [Choose](choose.md) |
 | `⊐` | [Classify, Index Of](classify_indexof.md) |
+| `#` | [Comment](comment.md) |
 | `+` | [Conjugate, Add](conjugate_add.md) |
 | `˙` | [Constant](constant.md) |
+| `𝕊` | [Current Function](currentfunction.md) |
+| `𝕣` | [Current Modifier](currentmodifier.md) |
 | `⍷` | [Deduplicate, Find](deduplicate_find.md) |
+| `←` | [Define](define.md) |
 | `≡` | [Depth, Match](depth_match.md) |
 | `⚇` | [Depth](depth.md) |
 | `⥊` | [Deshape, Reshape](deshape_reshape.md) |
 | `¨` | [Each](each.md) |
 | `<` | [Enclose, Lesser Than](enclose_lessthan.md) |
+| `}` | [End Block](endblock.md) |
+| `)` | [End Expression](endexpression.md) |
+| `⟩` | [End list](endlist.md) |
 | `⋈` | [Enlist, Pair](enlist_pair.md) |
 | `⋆` | [Exponential, Power](exponential_power.md) |
+| `⇐` | [Export Definition, Export names](export.md) |
+| `.` | [Namespace Field](field.md) |
 | `⊏` | [First Cell, Select](firstcell_select.md) |
 | `⊑` | [First, Pick](first_pick.md) |
 | `⌊` | [Floor, Minimum](floor_minimum.md) |
@@ -35,16 +51,23 @@
 | `⊣` | [Identity, Left](identity_left.md) |
 | `⊢` | [Identity, Right](identity_right.md) |
 | `/` | [Indices, Replicate](indices_replicate.md) |
+| `∞` | [Infinity](infinity.md) |
 | `˝` | [Insert, Insert With initial](insert.md) |
 | `∾` | [Join, Join](join_jointo.md) |
+| `𝕨` | [Left Argument](leftargument.md) |
 | `≠` | [Length, Not Equal To](length_notequals.md) |
 | `≤` | [Lesser Than or Equal To](lessthanorequalto.md) |
 | `∊` | [Unique Mask, Member Of](markfirst_memberof.md) |
 | `>` | [Merge, Greater Than](merge_greaterthan.md) |
+| `¯` | [Minus](minus.md) |
+| `𝔽` | [Modifier Left operand](modifierleftoperand.md) |
 | `-` | [Negate, Subtract](negate_subtract.md) |
+| `·` | [Nothing](nothing.md) |
 | `¬` | [Logical Not, Span](not_span.md) |
+| `@` | [Null Character](nullcharacter.md) |
 | `⊒` | [Occurrence Count, Progressive Index Of](occurrencecount_progressiveindexof.md) |
 | `○` | [Atop, Over](over.md) |
+| `π` | [Pi](pi.md) |
 | `↑` | [Prefixes, Take](prefixes_take.md) |
 | `↕` | [Range, Windows](range_windows.md) |
 | `=` | [Rank, Equal To](rank_equals.md) |
@@ -52,8 +75,11 @@
 | `÷` | [Reciprocal, Divide](reciprocal_divide.md) |
 | `⍟` | [Repeat](repeat.md) |
 | `⌽` | [Reverse, Dyad](reverse_rotate.md) |
+| `𝕩` | [Right Argument](rightargument.md) |
 | `` ` `` | [Scan, Scan With initial](scan.md) |
 | `˜` | [Self, Swap](self_swap.md) |
+| `,` | [Separator](separator1.md) |
+| `⋄` | [Separator](separator.md) |
 | `≢` | [Shape, Not Match](shape_notmatch.md) |
 | `»` | [Shift After, Shift After](shiftafter.md) |
 | `«` | [Shift Before, Shift Before](shiftbefore.md) |
@@ -62,7 +88,9 @@
 | `∨` | [Sort Down, Logical Or](sortdown_or.md) |
 | `∧` | [Sort Up, Logical And](sortup_and.md) |
 | `√` | [Square root, Root](squareroot_root.md) |
+| `‿` | [Strand](strand.md) |
 | `↓` | [Suffixes, Drop](suffixes_drop.md) |
+| `•` | [System](system.md) |
 | `⌜` | [Each](table.md) |
 | `⍉` | [Transpose, Reorder Axes](transpose_reorderaxes.md) |
 | `⌾` | [Under](under.md) |
diff --git a/help/assert_assertwithmessage.md b/help/assert_assertwithmessage.md
index fc90b367..ad11a8d3 100644
--- a/help/assert_assertwithmessage.md
+++ b/help/assert_assertwithmessage.md
@@ -15,7 +15,7 @@ Throw an error if `𝕩` is not 1.
 
     
     
-## `𝕨 ! 𝕩`: Dyad
+## `𝕨 ! 𝕩`: Assert With Message
     
 Throw an error with message `𝕨` if `𝕩` is not 1.
     
diff --git a/help/beginblock.md b/help/beginblock.md
new file mode 100644
index 00000000..df6d58be
--- /dev/null
+++ b/help/beginblock.md
@@ -0,0 +1,25 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/beginblock.html).*
+
+# Left Curly Bracket (`{`)
+
+## `{ ...`: Begin Block
+
+Starts a block, which can be one of:
+
+- Function
+- 1-Modifier
+- 2-Modifier
+- Namespace
+- Immediate Block
+
+Must end with a corresponding `}`.
+
+        {𝕨 + 𝕩}   # Function
+
+        {𝕨‿𝔽‿𝕩}   # 1-modifier
+
+        {𝕨‿𝔽‿𝔾‿𝕩} # 2-modifier
+
+        {a ⇐ 5}   # Namespace
+
+        {5+4+6}   # Immediate block
\ No newline at end of file
diff --git a/help/beginexpression.md b/help/beginexpression.md
new file mode 100644
index 00000000..8284e04f
--- /dev/null
+++ b/help/beginexpression.md
@@ -0,0 +1,13 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/beginexpression.html).*
+
+# Left Parenthesis (`(`)
+
+## `( ...`: Begin Expression
+
+Starts an expression, and only one expression. Must end with a corresponding `)`.
+
+`(` gives higher precedence to the expression in it, and BQN will evaluate expressions in `()` first.
+
+        1 + 2 - 3
+
+        (1 + 2) - 3
\ No newline at end of file
diff --git a/help/beginlist.md b/help/beginlist.md
new file mode 100644
index 00000000..7f0a51c0
--- /dev/null
+++ b/help/beginlist.md
@@ -0,0 +1,16 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/beginlist.html).*
+
+# Mathematical Left Angle Bracket (`⟨`)
+
+## `⟨ ...`: Begin list
+
+Starts a list. Inner elements must be separated by `,` or `⋄`.
+Lists can be nested in other lists.
+
+Must end with a corresponding `⟩`.
+
+        ⟨1, 2, 3⟩
+
+        ⟨+ ⋄ - ⋄ 56⟩
+
+        
\ No newline at end of file
diff --git a/help/change.md b/help/change.md
new file mode 100644
index 00000000..d44d0a66
--- /dev/null
+++ b/help/change.md
@@ -0,0 +1,15 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/change.html).*
+
+# Leftwards Arrow With Hook (`←`)
+
+## `n ↩ v`: Change
+
+Changes the value of variable with name `n` to value `v`.
+
+Variable `n` must already exist.
+
+        a ↩ 1
+
+        ⊢ b ← 3
+
+        ⊢ b ↩ "Be the change you wish to see in the world."
\ No newline at end of file
diff --git a/help/comment.md b/help/comment.md
new file mode 100644
index 00000000..25943a31
--- /dev/null
+++ b/help/comment.md
@@ -0,0 +1,14 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/comment.html).*
+
+# Number Sign (`#`)
+
+## `#`: Comment
+
+Create a comment that extends till the end of a line.
+
+Anything written in comments is ignored.
+
+
+        1 + 2 # + 3 + 4
+
+        "Hello world!" # this is ignored!
\ No newline at end of file
diff --git a/help/currentfunction.md b/help/currentfunction.md
new file mode 100644
index 00000000..f2c5e16d
--- /dev/null
+++ b/help/currentfunction.md
@@ -0,0 +1,14 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/currentfunction.html).*
+
+# Mathematical Double-struck S (`𝕊`)
+
+## `𝕊`: Current Function
+
+A variable assigned to the current function block. `𝕤` can be used to access the current function block as a value.
+
+`𝕊` can be used for recursion.
+
+        F ← {𝕊 0: 1; 𝕩 × 𝕊 𝕩-1} # Factorial
+        F 5
+
+        {𝕤‿𝕤}4
\ No newline at end of file
diff --git a/help/currentmodifier.md b/help/currentmodifier.md
new file mode 100644
index 00000000..f76cc98a
--- /dev/null
+++ b/help/currentmodifier.md
@@ -0,0 +1,10 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/currentmodifier.html).*
+
+# Mathematical Double-struck R (`𝕣`)
+
+## `𝕣`: Current Modifier
+
+A variable assigned to the current modifier block. Underscores must be added to the beginning and/or end (`_𝕣`, `_𝕣_`) to use the modifier with the correct role.
+
+
+        +{𝕣⊣𝕩} 4        
\ No newline at end of file
diff --git a/help/define.md b/help/define.md
new file mode 100644
index 00000000..b36b5fc0
--- /dev/null
+++ b/help/define.md
@@ -0,0 +1,15 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/define.html).*
+
+# Leftwards Arrow (`←`)
+
+## `n ← v`: Define
+
+Defines a new variable with name `n` and value `v`.
+
+Variable `n` must not already exist.
+
+        ⊢ a ← 1
+
+        ⊢ b ← 3‿3 ⥊ 5
+
+        C ← ↑
\ No newline at end of file
diff --git a/help/endblock.md b/help/endblock.md
new file mode 100644
index 00000000..a10aa907
--- /dev/null
+++ b/help/endblock.md
@@ -0,0 +1,17 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/endblock.html).*
+
+# Right Curly Bracket (`}`)
+
+## `... }`: End Block
+
+Starts a block, which starts with `}`. See [Begin Block](beginblock.md) for more details.
+
+        {𝕨 + 𝕩}   # Function
+
+        {𝕨‿𝔽‿𝕩}   # 1-modifier
+
+        {𝕨‿𝔽‿𝔾‿𝕩} # 2-modifier
+
+        {a ⇐ 5}   # Namespace
+
+        {5+4+6}   # Immediate block
\ No newline at end of file
diff --git a/help/endexpression.md b/help/endexpression.md
new file mode 100644
index 00000000..d65f6520
--- /dev/null
+++ b/help/endexpression.md
@@ -0,0 +1,12 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/endexpression.html).*
+
+# Right Parenthesis (`)`)
+
+## `... )`: End Expression
+
+The closing symbol for `(`. See [Begin Expression](beginexpression.md) for more details.
+
+
+        1 + 2 - 3
+
+        (1 + 2) - 3
\ No newline at end of file
diff --git a/help/endlist.md b/help/endlist.md
new file mode 100644
index 00000000..9d698dcc
--- /dev/null
+++ b/help/endlist.md
@@ -0,0 +1,14 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/endlist.html).*
+
+# Mathematical Right Angle Bracket (`⟩`)
+
+## `... ⟩`: End list
+
+Ends a list started by a `⟨`. See [Begin List](beginlist.md) for more details.
+
+
+        ⟨1, 2, 3⟩
+
+        ⟨+ ⋄ - ⋄ 56⟩
+
+        
\ No newline at end of file
diff --git a/help/export.md b/help/export.md
new file mode 100644
index 00000000..39821667
--- /dev/null
+++ b/help/export.md
@@ -0,0 +1,19 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/export.html).*
+
+# Leftward Double Arrow (`⇐`)
+
+## `n ⇐ v`: Export Definition
+
+Define a variable with name `n` and export it from the current namespace or program's scope.
+
+        ns ← { exported ⇐ 5, unexported ← 0}
+        ns.exported
+        ns.unexported
+
+## `𝕨 ⇐`: Export names
+
+Export the names given in `𝕩` from the current namespace or program's scope. Names must be defined.
+
+        ns1 ← { ⟨alsoexported⟩⇐, exported ⇐ 5, alsoexported ← 0}
+        ns1.exported
+        ns1.alsoexported
\ No newline at end of file
diff --git a/help/field.md b/help/field.md
new file mode 100644
index 00000000..c866e0a8
--- /dev/null
+++ b/help/field.md
@@ -0,0 +1,11 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/field.html).*
+
+# Full Stop (`.`)
+
+## `ns . name`: Namespace Field
+
+Access a field with name `name` in namespace `ns`. Field must have been exported with `⇐`.
+
+        {a⇐1} . a
+
+        {F⇐-}.F 5
\ No newline at end of file
diff --git a/help/genhelp.bqn b/help/genhelp.bqn
index cf50c939..b4a5b8c9 100755
--- a/help/genhelp.bqn
+++ b/help/genhelp.bqn
@@ -5,15 +5,17 @@ thing ← {
     names ← (⊣∾", "∾⊢)´{(¬·∧`' '⊸=)⊸/⌾⌽(2+⊑/':'=𝕩)↓𝕩}¨("## "≡3⊸↑)¨⊸/data
     t‿d ←  ∾/¨(⊏data)=¨"()"
     sym ← "`"∾˜"`"∾{'`':"` ` `"; '|':"\"∾𝕩 ; 𝕩}¯3⊑2⊑data
-    •Show  "| " ∾ sym ∾ " | [" ∾ names ∾ "]("∾((t+1)↓d↑⊑data)∾ ") |"
-}¨•args
+    •Show  "| " ∾ sym ∾ " | [" ∾ names ∾ "]("∾𝕩∾ ") |"
+}¨•args(¬∘∊/⊣)⟨"README.md"⟩
 
 head ← ⟨
 "*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/index.html).*"
 ⟨⟩
 "# REPL Help"
 ⟨⟩
+"Symbols are listed in alphabetical order of page name, ignoring syntactical roles."
+⟨⟩
 "| Symbol | Link |"
 "|--------|------|"
 ⟩
-"index.md.tmp" •FLines head ∾ thing #rename once you have a proper file.
\ No newline at end of file
+"README.md" •FLines head ∾ thing #rename once you have a proper file.
\ No newline at end of file
diff --git a/help/infinity.md b/help/infinity.md
new file mode 100644
index 00000000..5ea6cb3f
--- /dev/null
+++ b/help/infinity.md
@@ -0,0 +1,14 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/infinity.html).*
+
+# Infinity (`∞`)
+
+## `∞`: Infinity
+
+Mathematical constant Infinity. Shares the same status as other numbers, can be negative (`¯∞`).
+
+
+        ∞
+
+        ¯∞
+
+        1+∞
\ No newline at end of file
diff --git a/help/leftargument.md b/help/leftargument.md
new file mode 100644
index 00000000..3b179335
--- /dev/null
+++ b/help/leftargument.md
@@ -0,0 +1,9 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/leftargument.html).*
+
+# Mathematical Double-struck W (`𝕨`)
+
+## `𝕨`: Left Argument
+
+A variable assigned to the left argument of a block. `𝕎` can be used to access the left argument as a function.
+
+        5 {𝕨} 1
\ No newline at end of file
diff --git a/help/minus.md b/help/minus.md
new file mode 100644
index 00000000..2d85e1e7
--- /dev/null
+++ b/help/minus.md
@@ -0,0 +1,14 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/minus.html).*
+
+# Macron (`¯`)
+
+## `¯`: Minus
+
+Prefix before numbers to indicate that they are negative.
+
+Note that this is not the same as `-`, since it is part of the number, rather than a primitive that negates its value.
+
+
+        -1‿2‿3
+
+        ¯1‿2‿3
\ No newline at end of file
diff --git a/help/modifierleftoperand.md b/help/modifierleftoperand.md
new file mode 100644
index 00000000..2f23d37f
--- /dev/null
+++ b/help/modifierleftoperand.md
@@ -0,0 +1,9 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/modifierleftoperand.html).*
+
+# Mathematical Double-struck F (`𝔽`)
+
+## `𝔽`: Modifier Left operand
+
+A variable assigned to the left operand of a modifier block. `𝕗` can be used to access the left operand as a value.
+
+        5 +{𝕗⊣𝕨} 1
\ No newline at end of file
diff --git a/help/nothing.md b/help/nothing.md
new file mode 100644
index 00000000..b5ef7fe3
--- /dev/null
+++ b/help/nothing.md
@@ -0,0 +1,23 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/nothing.html).*
+
+# Middle Dot (`·`)
+
+## `·`: Nothing
+
+### In Trains
+
+Nothing can serve as a left argument in a train to string together multiple monadic functions.
+
+        (-+-) 5
+
+        (-·+-) 5
+
+### In Block Headers
+
+For Block header pattern matching syntax, Nothing can be used to indicate an unused value.
+
+        F ← {𝕊 a‿·‿b: a∾b}
+
+        F 1‿2‿3
+
+        
\ No newline at end of file
diff --git a/help/nullcharacter.md b/help/nullcharacter.md
new file mode 100644
index 00000000..b13eb3f0
--- /dev/null
+++ b/help/nullcharacter.md
@@ -0,0 +1,16 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/nullcharacter.html).*
+
+# Commercial At (`@`)
+
+## `@`: Null Character
+
+Null character, codepoint 0 in ASCII. Has the status of any other character.
+
+Can be added to any positive integer to get its character equivalent.
+
+
+        @+50
+
+        @
+
+        @+64
\ No newline at end of file
diff --git a/help/pi.md b/help/pi.md
new file mode 100644
index 00000000..0787e7ee
--- /dev/null
+++ b/help/pi.md
@@ -0,0 +1,12 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/pi.html).*
+
+# Pi (`π`)
+
+## `π`: Pi
+
+Mathematical constant pi. Shares the same status as other numbers, can be negative (`¯π`).
+
+
+        π
+
+        ¯π
\ No newline at end of file
diff --git a/help/rightargument.md b/help/rightargument.md
new file mode 100644
index 00000000..69ec6394
--- /dev/null
+++ b/help/rightargument.md
@@ -0,0 +1,9 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/rightargument.html).*
+
+# Mathematical Double-struck X (`𝕩`)
+
+## `𝕩`: Right Argument
+
+A variable assigned to the right argument of a block. `𝕏` can be used to access the right argument as a function.
+
+        5 {𝕩} 1
\ No newline at end of file
diff --git a/help/separator.md b/help/separator.md
new file mode 100644
index 00000000..9c02aa59
--- /dev/null
+++ b/help/separator.md
@@ -0,0 +1,15 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/separator.html).*
+
+# Diamond (`⋄`)
+
+## `⋄`: Separator
+
+Separates statements in blocks⋄ programs and arrays.
+
+        a ← 3 ⋄ ⊢ b ← 2
+
+        1 ⋄ 2 ⋄ 3
+
+        ⟨1 ⋄ 2 ⋄ 3⟩
+
+        {1 ⋄ 2 ⋄ 3}
\ No newline at end of file
diff --git a/help/separator1.md b/help/separator1.md
new file mode 100644
index 00000000..90296f2f
--- /dev/null
+++ b/help/separator1.md
@@ -0,0 +1,15 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/separator1.html).*
+
+# Comma (`,`)
+
+## `,`: Separator
+
+Separates statements in blocks, programs and arrays.
+
+        a ← 3 , ⊢ b ← 2
+
+        1 , 2 , 3
+
+        ⟨1, 2, 3⟩
+
+        {1, 2, 3}
\ No newline at end of file
diff --git a/help/strand.md b/help/strand.md
new file mode 100644
index 00000000..9866f79b
--- /dev/null
+++ b/help/strand.md
@@ -0,0 +1,16 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/strand.html).*
+
+# Undertie (`‿`)
+
+## `‿`: Strand
+
+Create a list via [strand notation](../doc/arrayrepr.md#strands). 
+
+Placing `‿` between valid BQN expressions will create a list out of the end results of those expressions.
+
+
+        1‿2‿3
+
+        +‿-‿56
+
+        
\ No newline at end of file
diff --git a/help/system.md b/help/system.md
new file mode 100644
index 00000000..79b1d745
--- /dev/null
+++ b/help/system.md
@@ -0,0 +1,9 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/system.html).*
+
+# Bullet (`•`)
+
+## `•`: System
+
+A prefix for system functions. `•listSys` gives a list of system values added in any BQN implementation.
+
+`•` is ignored when determining the role of the system value.