diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/doc/index.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/doc/index.html b/docs/doc/index.html index b4110034..49567105 100644 --- a/docs/doc/index.html +++ b/docs/doc/index.html @@ -12,6 +12,8 @@ <li><a href="types.html">Types</a></li> <li><a href="primitive.html">Primitives</a></li> <li><a href="paradigms.html">Paradigms</a></li> +<li>See also <a href="../help/index.html">help index</a>; <a href="https://gist.github.com/dzaima/52b47f898c5d43f72dc2637d6cdadedd">summary gist</a></li> +<li>And <a href="../spec/system.html">system values</a> (not always implemented)</li> </ul> <p>References:</p> <ul> |