diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-24 18:12:13 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-24 18:13:16 -0500 |
| commit | 3b6599b12470fe9b1321111d31c34685ffd5db52 (patch) | |
| tree | c2b5aa59341dbfec7868911ff6bf505716ec85a9 /docs/help/export.html | |
| parent | c9bc3e80280fd8a38f6297de80196dcbff9c28d9 (diff) | |
Github doesn't remove Unicode letters from header slugs apparently
Diffstat (limited to 'docs/help/export.html')
| -rw-r--r-- | docs/help/export.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/help/export.html b/docs/help/export.html index 6fee8a1c..5fbbef78 100644 --- a/docs/help/export.html +++ b/docs/help/export.html @@ -13,7 +13,7 @@ <span class='Value'>ns.unexported</span> <span class='Error'>Error: No key found</span> </pre> -<h2 id="--export-names"><a class="header" href="#--export-names"><code><span class='Value'>𝕨</span> <span class='Gets'>⇐</span></code>: Export names</a></h2> +<h2 id="𝕨--export-names"><a class="header" href="#𝕨--export-names"><code><span class='Value'>𝕨</span> <span class='Gets'>⇐</span></code>: Export names</a></h2> <p>Export the names given in <code><span class='Value'>𝕩</span></code> from the current namespace or program's scope. Names must be defined.</p> <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=bnMxIOKGkCB7IOKfqGFsc29leHBvcnRlZOKfqeKHkCwgZXhwb3J0ZWQg4oeQIDUsIGFsc29leHBvcnRlZCDihpAgMH0KbnMxLmV4cG9ydGVkCm5zMS5hbHNvZXhwb3J0ZWQ=">↗️</a><pre> <span class='Value'>ns1</span> <span class='Gets'>←</span> <span class='Brace'>{</span> <span class='Bracket'>⟨</span><span class='Value'>alsoexported</span><span class='Bracket'>⟩</span><span class='Gets'>⇐</span><span class='Separator'>,</span> <span class='Value'>exported</span> <span class='Gets'>⇐</span> <span class='Number'>5</span><span class='Separator'>,</span> <span class='Value'>alsoexported</span> <span class='Gets'>←</span> <span class='Number'>0</span><span class='Brace'>}</span> <span class='Value'>ns1.exported</span> |