X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=arithmetic.mdwn;h=bc531ecddac814bf05bd763e06c24a01b7f04d24;hp=7812755d56b792aa9d656040b0402fe1348460a6;hb=0b12f248cc9c6b7361a5e3b72d3096a264eec82f;hpb=8b95e631498db147fc68fd97b156608f11291000

diff --git a/arithmetic.mdwn b/arithmetic.mdwn
index 7812755d..bc531ecd 100644
--- a/arithmetic.mdwn
+++ b/arithmetic.mdwn
@@ -49,8 +49,8 @@ Here are a bunch of pre-tested operations for the untyped lambda calculus. In so
 	let singleton = \x f z. f x z  in
 	let reverse = \lst. lst (\h sofar. sofar make_list (singleton h)) empty  in
 	let zip = \left right. left (\h sofar. sofar (\x y. isempty y
-									sofar
-									(make_pair (make_list () x) (tail y))
+										sofar
+										(make_pair (make_list (\u v. head y (u v) h) x) (tail y))
 									)
 									(make_pair empty (map right (\h u v. u v h)))
 								)