Collapse Theory/Runtime sections

Soonad · Sep 14, 2019 · b9bebee · b9bebee
1 parent 0abed2d
commit b9bebee
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 10 deletions.
diff --git a/docs/source/index.rst b/docs/source/index.rst
@@ -34,19 +34,13 @@ Table of contents
    language/4.Core-Features
    language/5.Datatypes
 
-.. toctree::
-    :maxdepth: 2
-    :numbered:
-    :caption: Runtime
-
-    runtime/Formality-Net
-
 .. toctree::
     :maxdepth: 2
     :numbered:
     :caption: Theory
 
-    theory/TODO
+    theory/Formality-Net
+    theory/Self-Types
 
 .. toctree::
     :maxdepth: 2
@@ -64,4 +58,4 @@ Table of contents
     :caption: Articles
     :numbered:
 
-    tutorials/What-Are-Proofs
+    articles/What-Are-Proofs
diff --git a/docs/source/runtime/Formality-Net.md → docs/source/theory/Formality-Net.md b/docs/source/runtime/Formality-Net.md → docs/source/theory/Formality-Net.md
diff --git a/docs/source/theory/Self-Types.md b/docs/source/theory/Self-Types.md
@@ -0,0 +1,3 @@
+# Self-Types
+
+(TODO)
diff --git a/docs/source/theory/TODO.md b/docs/source/theory/TODO.md