From 956d849c8abe8b4f203d226f4724d989f941290b Mon Sep 17 00:00:00 2001 From: Simon Forman Date: Wed, 6 Jun 2018 13:33:04 -0700 Subject: [PATCH] Toplevel makefile docs target uses docs makefile. --- Makefile | 6 +----- docs/Zipper.html | 2 +- docs/Zipper.ipynb | 1 + docs/Zipper.md | 1 + docs/Zipper.rst | 3 +++ 5 files changed, 7 insertions(+), 6 deletions(-) diff --git a/Makefile b/Makefile index 90c3f7f..abd05ce 100644 --- a/Makefile +++ b/Makefile @@ -24,9 +24,5 @@ test: sdist docs: - cd ./docs && python -m nbconvert --to html *.ipynb - cd ./docs && python -m nbconvert --to markdown *.ipynb - cd ./docs && python -m nbconvert --to rst *.ipynb + cd ./docs && make - -%.md : %.ipynb ; diff --git a/docs/Zipper.html b/docs/Zipper.html index 70bff52..e38b554 100644 --- a/docs/Zipper.html +++ b/docs/Zipper.html @@ -11775,7 +11775,7 @@ div#notebook {
-

This notebook is about using the "zipper" with joy datastructures. See the Zipper wikipedia entry or the original paper: "FUNCTIONAL PEARL The Zipper" by Gérard Huet

+

Traversing Datastructures with Zippers

This notebook is about using the "zipper" with joy datastructures. See the Zipper wikipedia entry or the original paper: "FUNCTIONAL PEARL The Zipper" by Gérard Huet

Given a datastructure on the stack we can navigate through it, modify it, and rebuild it using the "zipper" technique.

diff --git a/docs/Zipper.ipynb b/docs/Zipper.ipynb index 744aadb..a7f9bf2 100644 --- a/docs/Zipper.ipynb +++ b/docs/Zipper.ipynb @@ -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", diff --git a/docs/Zipper.md b/docs/Zipper.md index a91f180..5f62c1d 100644 --- a/docs/Zipper.md +++ b/docs/Zipper.md @@ -1,4 +1,5 @@ +# Traversing Datastructures with Zippers 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) diff --git a/docs/Zipper.rst b/docs/Zipper.rst index fa4481b..ea26a9a 100644 --- a/docs/Zipper.rst +++ b/docs/Zipper.rst @@ -1,4 +1,7 @@ +Traversing Datastructures with Zippers +====================================== + This notebook is about using the "zipper" with joy datastructures. See the `Zipper wikipedia entry `__ or