Got back the LI for lower-cased title notebooks.

Not sure what went wrong there.
2022-09-16 11:27:00 -07:00
parent 406740bbd6
commit dbcbf16bc9
2 changed files with 4 additions and 2 deletions
@@ -41,6 +41,8 @@ I'm in the process of rewriting them to use the Joy kernel.</p>
 <li><a href="/notebooks/TypeChecking.html">TypeChecking</a></li>
 <li><a href="/notebooks/Types.html">Types</a></li>
 <li><a href="/notebooks/Zipper.html">Zipper</a></li>
+<li><a href="/notebooks/fun_with_scan.html">fun with scan</a></li>
+<li><a href="/notebooks/with_sympy.html">with sympy</a></li>
 </ul>
 </body>
 </html>