From 312ae1acad7325b7007caa2a75eeb77b531b0537 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sun, 13 Feb 2022 21:45:01 -0500 Subject: Add useful links to documentation main page --- doc/README.md | 2 ++ docs/doc/index.html | 2 ++ 2 files changed, 4 insertions(+) diff --git a/doc/README.md b/doc/README.md index 620d7c74..4d7e41a6 100644 --- a/doc/README.md +++ b/doc/README.md @@ -9,6 +9,8 @@ Overview: - [Types](types.md) - [Primitives](primitive.md) - [Paradigms](paradigms.md) +- See also [help index](../help/README.md); [summary gist](https://gist.github.com/dzaima/52b47f898c5d43f72dc2637d6cdadedd) +- And [system values](../spec/system.md) (not always implemented) References: - [Glossary](glossary.md) 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 @@
  • Types
  • Primitives
  • Paradigms
  • +
  • See also help index; summary gist
  • +
  • And system values (not always implemented)
  • References: