Update docs.

This commit is contained in:
Simon Forman
2018-07-16 09:11:25 -07:00
parent 230134e6c2
commit 612d48d8cc
8 changed files with 25 additions and 7 deletions
@@ -17,7 +17,7 @@
<link rel="index" title="Index" href="../genindex.html" />
<link rel="search" title="Search" href="../search.html" />
<link rel="next" title="Categorical Programming" href="Categorical.html" />
<link rel="prev" title="Type Inference" href="Types.html" />
<link rel="prev" title="Type Checking" href="TypeChecking.html" />
<link rel="stylesheet" href="../_static/custom.css" type="text/css" />
@@ -67,7 +67,7 @@
<ul>
<li><a href="../index.html">Documentation overview</a><ul>
<li><a href="index.html">Essays about Programming in Joy</a><ul>
<li>Previous: <a href="Types.html" title="previous chapter">Type Inference</a></li>
<li>Previous: <a href="TypeChecking.html" title="previous chapter">Type Checking</a></li>
<li>Next: <a href="Categorical.html" title="next chapter">Categorical Programming</a></li>
</ul></li>
</ul></li>