Update DocstringFixpoint.ipynb

2023-03-07 13:20:44 -08:00
parent 4f5232a2a8
commit 456b1294c4
1 changed files with 3 additions and 3 deletions
--- a/ipynb/DocstringFixpoint.ipynb
+++ b/ipynb/DocstringFixpoint.ipynb
@@ -97,7 +97,7 @@
   "id": "601a806a-f710-4877-851e-caff50657039",
   "metadata": {},
   "source": [
-    "And lightly edit the docstring once more:"
+    "And lightly edit the docstring once more to bring it into closer compliance with the code:"
   ]
  },
  {
@@ -118,7 +118,7 @@
   "id": "6a1a566c-2113-4d71-a341-4a683d97e64a",
   "metadata": {},
   "source": [
-    "Now fill in the missing bits:"
+    "Now fill in the missing bits, `mean`, `upto`, and `non_negative`:"
   ]
  },
  {
@@ -142,7 +142,7 @@
   "id": "dd04aa98-ef15-4288-bd70-e08d7d07d071",
   "metadata": {},
   "source": [
-    "And write some tests:"
+    "Pass some tests, and we're done!"
   ]
  },
  {