tweak

[lambda.git] / topics / week13_native_continuation_operators.mdwn

diff --git a/topics/week13_native_continuation_operators.mdwn b/topics/week13_native_continuation_operators.mdwn
index ce68d11..8d64d2e 100644 (file)
--- a/topics/week13_native_continuation_operators.mdwn
+++ b/topics/week13_native_continuation_operators.mdwn
@@ -146,7 +146,7 @@ Here are some examples of using these different continuation operators. The cont
 3.  <pre><b>let p = </b>let/cc k (1,k) <b>in
     let y = snd p (2, ident) in
     (fst p, y)</b></pre>
 3.  <pre><b>let p = </b>let/cc k (1,k) <b>in
     let y = snd p (2, ident) in
     (fst p, y)</b></pre>

-    In the first line, we bind the continuation function (the bold code) to `k` and then bind the pair of `1` and that function to the variable `p`.
+    In the first line, we bind the continuation function (the bold code) to `k` and then bind the variable `p` to the pair of `1` and that function.

     In the second line, we extract the continuation function from the pair `p` and apply it to the argument `(2, ident)`. That results in the following code being run:
     <pre><b>let p = </b>(2, ident) <b>in
     let y = snd p (2, ident) in
     In the second line, we extract the continuation function from the pair `p` and apply it to the argument `(2, ident)`. That results in the following code being run:
     <pre><b>let p = </b>(2, ident) <b>in
     let y = snd p (2, ident) in