diff --git a/docs/html/notebooks/index.html b/docs/html/notebooks/index.html index fc1c271..1e53303 100644 --- a/docs/html/notebooks/index.html +++ b/docs/html/notebooks/index.html @@ -41,6 +41,8 @@ I'm in the process of rewriting them to use the Joy kernel.

  • TypeChecking
  • Types
  • Zipper
  • +
  • fun with scan
  • +
  • with sympy
  • diff --git a/docs/notebooks/Makefile b/docs/notebooks/Makefile index 55e2d3d..73a1857 100644 --- a/docs/notebooks/Makefile +++ b/docs/notebooks/Makefile @@ -8,9 +8,9 @@ docs_html = $(patsubst %.ipynb,%.html,$(docs)) all: mov clean: - $(RM) -v $(docs_html) + $(RM) -v $(docs_html) index.html -index.html: build_index.py +index.html: build_index.py $(docs_html) python build_index.py > index.html $(docs_html): %.html : %.ipynb