X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week4.mdwn;h=362ad66cc5574d308df3431fb7f74529388c9419;hp=e9a206f080fb18b3874bb0976444c9e3a6c0c319;hb=c447066469179d42ed05d7a7996b9bb7be60e001;hpb=a4a188627315a688d841a9a622a053b527d3b88a

diff --git a/week4.mdwn b/week4.mdwn
index e9a206f0..362ad66c 100644
--- a/week4.mdwn
+++ b/week4.mdwn
@@ -599,11 +599,11 @@ detail](http://okmij.org/ftp/Streams.html#enumerator-stream).
 >	now `extract_head` should return the leftmost head directly, using its
 >	`abort_handler`:
 >	
->		let extract_head = \lst larger_computation. lst
->				(\hd sofar continue_handler abort_handler. abort_handler hd)
->				junk
->				larger_computation
->				larger_computation
+>			let extract_head = \lst larger_computation. lst
+>					(\hd sofar continue_handler abort_handler. abort_handler hd)
+>					junk
+>					larger_computation
+>					larger_computation
 >	
 >	3.	To extract tails efficiently, too, it'd be nice to fuse the apparatus
 >	developed in these v5 lists with the ideas from