From 6d58ca4a1e34835770dcb3213cc95470209b06ec Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Mon, 4 Oct 2010 23:21:43 -0400 Subject: [PATCH] week4 tweaks Signed-off-by: Jim Pryor --- week4.mdwn | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/week4.mdwn b/week4.mdwn index fca995e3..8353afb7 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: > -> 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 -- 2.11.0