From 1a7bbe5469935af95fa47f5de1f0b197320aa341 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Wed, 6 Jul 2022 22:01:22 -0400 Subject: Rearrange documentation index somewhat --- docs/doc/index.html | 34 ++++++++++++++++++++++++++-------- 1 file changed, 26 insertions(+), 8 deletions(-) (limited to 'docs') diff --git a/docs/doc/index.html b/docs/doc/index.html index c86ab0d3..deded4be 100644 --- a/docs/doc/index.html +++ b/docs/doc/index.html @@ -24,24 +24,42 @@

Concepts:

Primitives: