From 9da4d7f239d29655408903dc0745fcf18bb696e4 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Wed, 1 Dec 2010 00:40:18 -0500 Subject: [PATCH 1/1] lists-to-contin tweaks Signed-off-by: Jim Pryor --- from_lists_to_continuations.mdwn | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/from_lists_to_continuations.mdwn b/from_lists_to_continuations.mdwn index ff7e392c..26ad4656 100644 --- a/from_lists_to_continuations.mdwn +++ b/from_lists_to_continuations.mdwn @@ -124,11 +124,11 @@ the computation `'a'::('b'::('S'::('d'::[])))` (or, in our old style, `make_list 'a' (make_list 'b' (make_list 'S' (make_list 'd' empty)))`). The recipe for constructing the list goes like this: -> (0) Start with the empty list [] -> (1) make a new list whose first element is 'd' and whose tail is the list constructed in step (0) -> (2) make a new list whose first element is 'S' and whose tail is the list constructed in step (1) -> ----------------------------------------- -> (3) make a new list whose first element is 'b' and whose tail is the list constructed in step (2) +> (0) Start with the empty list [] +> (1) make a new list whose first element is 'd' and whose tail is the list constructed in step (0) +> (2) make a new list whose first element is 'S' and whose tail is the list constructed in step (1) +> ----------------------------------------- +> (3) make a new list whose first element is 'b' and whose tail is the list constructed in step (2) > (4) make a new list whose first element is 'a' and whose tail is the list constructed in step (3) What is the type of each of these steps? Well, it will be a function -- 2.11.0