diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-27 22:45:08 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-27 22:45:08 -0500 |
| commit | 4821f231a00dc93c42fb437359ea657c59c63053 (patch) | |
| tree | 25727092b7b46d3491188c441ca536d9148772dd /help/export.md | |
| parent | 7ee8d5c5ce80355b835e95f95c933ff542ff5ddd (diff) | |
Add full documentation links to help pages
Diffstat (limited to 'help/export.md')
| -rw-r--r-- | help/export.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/help/export.md b/help/export.md index 3ae604be..6b71fdb0 100644 --- a/help/export.md +++ b/help/export.md @@ -3,6 +3,7 @@ # Leftward Double Arrow (`⇐`) ## `n ⇐ v`: Export Definition +[→full documentation](../doc/expression.md#exports) Define a variable with name `n` and export it from the current namespace. @@ -11,6 +12,7 @@ Define a variable with name `n` and export it from the current namespace. ns.unexported ## `𝕨 ⇐`: 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. |