diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-02-13 21:45:01 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-02-13 21:45:01 -0500 |
| commit | 312ae1acad7325b7007caa2a75eeb77b531b0537 (patch) | |
| tree | 41cba5e8e6d099f9d5720a9f1dc5b48e7ccb63ba /docs | |
| parent | 36d2bef82bd9cc525205120cbec9a9c9f2fd74ae (diff) | |
Add useful links to documentation main page
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> |