X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=from_lists_to_continuations.mdwn;h=26ad46562cfffd04b6d08c47df03d6054d3276fa;hp=ff7e392caf717a110e5771d62c54629b4c326f83;hb=9da4d7f239d29655408903dc0745fcf18bb696e4;hpb=b5672ffae330118100a8de0a656ee9584d0f7ee6

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