Fix up documentation across runtime assertions

pedal-edu · Dec 28, 2023 · 3b1d9dd · 3b1d9dd
1 parent f29065e
commit 3b1d9dd
Show file tree

Hide file tree

Showing 6 changed files with 692 additions and 8 deletions.
diff --git a/docsrc/teachers/reference.rst b/docsrc/teachers/reference.rst
@@ -17,8 +17,9 @@ document all the features available - for that, you should refer to the :ref:`fu
     tools/tifa
     tools/cait
     tools/source
-    tools/assertions
     tools/sandbox
+    tools/assertions
+    tools/types
 
 tools/assertions