From 0b12f248cc9c6b7361a5e3b72d3096a264eec82f Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Thu, 30 Sep 2010 14:50:10 -0400 Subject: [PATCH] tweaked arithmetic Signed-off-by: Jim Pryor --- arithmetic.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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))) ) -- 2.11.0