diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-05-15 22:05:00 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-05-15 22:05:00 -0400 |
| commit | 5d06c6be4bea0f3b3d31d9f35a29f9a7460679a4 (patch) | |
| tree | a09abf07a85b60a0b637410fa826f101354a7edb /help/export.md | |
| parent | ade2f9fbb72bc960a053b6aebf6287977b099090 (diff) | |
Add help sections for modified assignment F↩
Diffstat (limited to 'help/export.md')
| -rw-r--r-- | help/export.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/help/export.md b/help/export.md index 6b71fdb0..6f3970b2 100644 --- a/help/export.md +++ b/help/export.md @@ -11,10 +11,10 @@ Define a variable with name `n` and export it from the current namespace. ns.exported ns.unexported -## `𝕨 ⇐`: Export names +## `n ⇐`: Export names [→full documentation](../doc/expression.md#exports) -Export the names given in `𝕩` from the current namespace. Names must be defined somewhere in the scope. +Export the names given in `n` from the current namespace. Names must be defined somewhere in the scope. ns1 ← { ⟨alsoexported⟩⇐, exported ⇐ 5, alsoexported ← 0} ns1.exported |