lists-to-contin tweaks
[lambda.git] / from_lists_to_continuations.mdwn
index f2e6989..a3ed6bf 100644 (file)
@@ -6,7 +6,7 @@ to continuations is to re-functionalize a zipper.  Then the
 concreteness and understandability of the zipper provides a way of
 understanding and equivalent treatment using continuations.
 
-Let's work with lists of chars for a change.  To maximize readability, we'll
+Let's work with lists of `char`s for a change.  To maximize readability, we'll
 indulge in an abbreviatory convention that "abSd" abbreviates the
 list `['a'; 'b'; 'S'; 'd']`.
 
@@ -75,9 +75,9 @@ guarantees termination, and a final string without any `'S'` in it.
 
 This is a task well-suited to using a zipper.  We'll define a function
 `tz` (for task with zippers), which accomplishes the task by mapping a
-char list zipper to a char list.  We'll call the two parts of the
+`char list zipper` to a `char list`.  We'll call the two parts of the
 zipper `unzipped` and `zipped`; we start with a fully zipped list, and
-move elements to the zipped part by pulling the zipped down until the
+move elements to the zipped part by pulling the zipper down until the
 entire list has been unzipped (and so the zipped half of the zipper is empty).
 
 <pre>