From 4821f231a00dc93c42fb437359ea657c59c63053 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Thu, 27 Jan 2022 22:45:08 -0500 Subject: Add full documentation links to help pages --- docs/help/export.html | 2 ++ 1 file changed, 2 insertions(+) (limited to 'docs/help/export.html') diff --git a/docs/help/export.html b/docs/help/export.html index 4b16243d..0dcf8dd7 100644 --- a/docs/help/export.html +++ b/docs/help/export.html @@ -6,6 +6,7 @@

Leftward Double Arrow ()

n v: Export Definition

+

→full documentation

Define a variable with name n and export it from the current namespace.

↗️
    ns  { exported  5, unexported  0}
     ns.exported
@@ -14,6 +15,7 @@
 Error: No key found
 

𝕨 : Export names

+

→full documentation

Export the names given in 𝕩 from the current namespace. Names must be defined somewhere in the scope.

↗️
    ns1  { alsoexported, exported  5, alsoexported  0}
     ns1.exported
-- 
cgit v1.2.3