From: Jim Pryor <profjim@jimpryor.net>
Date: Sun, 3 Oct 2010 21:11:36 +0000 (-0400)
Subject: week4 tweaks
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=c447066469179d42ed05d7a7996b9bb7be60e001

week4 tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---

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