X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week4.mdwn;h=49a2c1f04970981309d8887c93e53ddaa8dc44f9;hp=fca995e3f871b61beaf9107923c02f2732506e62;hb=35ab33cfa5ca8a4460068037b52fa088783d09df;hpb=5c53b47bfede98d2274154b7a33039334cfcc4cc

diff --git a/week4.mdwn b/week4.mdwn
index fca995e3..49a2c1f0 100644
--- a/week4.mdwn
+++ b/week4.mdwn
@@ -593,15 +593,15 @@ detail](http://okmij.org/ftp/Streams.html#enumerator-stream).
 >	
 >	Well, the right fold of `f` over a list `[a;b;c;d;e]`, using starting value z, is:
 >	
->		f a (f b (f c (f d (f e z))))
+>			f a (f b (f c (f d (f e z))))
 >	
->	The left fold on the other hand starts combining `z` with elements from the left. `f z z` is then combined with `b`, and so on:
+>	The left fold on the other hand starts combining `z` with elements from the left. `f z a` is then combined with `b`, and so on:
 >	
->		f (f (f (f (f z a) b) c) d) e
+>			f (f (f (f (f z a) b) c) d) e
 >	
 >	or, if we preferred the arguments to each `f` flipped:
 >	
->		f e (f d (f c (f b (f a z))))
+>			f e (f d (f c (f b (f a z))))
 >	
 >	Recall we implemented v3 lists as their own right-fold functions. We could
 >	instead implement lists as their own left-fold functions. To do that with our