Toplevel makefile docs target uses docs makefile.

2018-06-06 13:33:04 -07:00
parent 989e48c155
commit 956d849c8a
5 changed files with 7 additions and 6 deletions
@@ -4,6 +4,7 @@
   "cell_type": "markdown",
   "metadata": {},
   "source": [
+    "# Traversing Datastructures with Zippers\n",
    "This notebook is about using the \"zipper\" with joy datastructures.  See the [Zipper wikipedia entry](https://en.wikipedia.org/wiki/Zipper_%28data_structure%29) or the original paper: [\"FUNCTIONAL PEARL The Zipper\" by Gérard Huet](https://www.st.cs.uni-saarland.de/edu/seminare/2005/advanced-fp/docs/huet-zipper.pdf)\n",
    "\n",
    "\n",