aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMelody Horn <melody@boringcactus.com>2020-10-28 18:25:00 -0600
committerMelody Horn <melody@boringcactus.com>2020-10-28 18:25:00 -0600
commitdf96731c7595a2ec18fdcf15e62dab4ecc7c7685 (patch)
tree39c6df22eba1a835cd2fb7874badf374f4f9863d
parentaba8764322293860de6e5d5b8c63bc33561bcf89 (diff)
downloadspec-df96731c7595a2ec18fdcf15e62dab4ecc7c7685.tar.gz
spec-df96731c7595a2ec18fdcf15e62dab4ecc7c7685.zip
tidy up index
-rw-r--r--index.rst4
1 files changed, 1 insertions, 3 deletions
diff --git a/index.rst b/index.rst
index 5749559..08ad2d7 100644
--- a/index.rst
+++ b/index.rst
@@ -49,11 +49,9 @@ Discuss
* `permanent discussion mailing list <https://lists.sr.ht/~boringcactus/crowbar-lang-devel>`_
* ephemeral discussions via IRC: #crowbar-lang on freenode (`join via irc <ircs://chat.freenode.net/#crowbar-lang>`_, `join via web <https://webchat.freenode.net/#crowbar-lang>`_)
-Specification
-=============
-
.. toctree::
:maxdepth: 2
+ :hidden:
vs-c
tagged-unions