Add objects

2022-08-03 23:42:34 +03:00 · 2022-08-03 23:42:34 +03:00 · 191ec5b369
parent 84bf67a741
commit 191ec5b369
1 changed files with 3 additions and 0 deletions
--- a/www/index.html
+++ b/www/index.html
@ -7,6 +7,9 @@
  <h1>Scheme Groups</h1>
  <p>Informal working groups on a number of topics.</p>
  <ul>
+    <li>
+      <a href="objects/">Objects</a>
+    </li>
    <li>
      <a href="prescheme/">PreScheme</a>
    </li>