From: Jim Pryor <profjim@jimpryor.net>
Date: Thu, 30 Sep 2010 18:50:10 +0000 (-0400)
Subject: tweaked arithmetic
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=0b12f248cc9c6b7361a5e3b72d3096a264eec82f;hp=8b95e631498db147fc68fd97b156608f11291000

tweaked arithmetic

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

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)))
 								)