From: Jim Pryor Date: Wed, 1 Dec 2010 05:40:18 +0000 (-0500) Subject: lists-to-contin tweaks X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=9da4d7f239d29655408903dc0745fcf18bb696e4;hp=b5672ffae330118100a8de0a656ee9584d0f7ee6 lists-to-contin tweaks Signed-off-by: Jim Pryor --- 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