From d51435ff737f18306b6c914c96d6c58595796746 Mon Sep 17 00:00:00 2001 From: Frank Plowman Date: Thu, 13 Jun 2024 21:51:56 +0100 Subject: [PATCH] 2-6: Correct solution --- content/post/sicp-solution-exercise-2-6.md | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/content/post/sicp-solution-exercise-2-6.md b/content/post/sicp-solution-exercise-2-6.md index b6cbbcb..e08a408 100644 --- a/content/post/sicp-solution-exercise-2-6.md +++ b/content/post/sicp-solution-exercise-2-6.md @@ -25,37 +25,37 @@ type: posts ```scheme (add-1 zero) -(add-1 (lambda (f) (lambda (x) x)) +(add-1 (lambda (f) (lambda (x) x))) -(lambda (f) (lambda (x) (f (((lambda (f) (lambda (x) x) f) x)))) +(lambda (f) (lambda (x) (f (((lambda (f) (lambda (x) x)) f) x)))) -(lambda (f) (lambda (x) (f (f x)))) +(lambda (f) (lambda (x) (f ((lambda (x) x) x)))) + +(lambda (f) (lambda (x) (f x))) ``` From this we can define: ```scheme -(define one (lambda (f) (lambda (x) (f (f x))))) - +(define one (lambda (f) (lambda (x) (f x)))) ``` ```scheme (add-1 one) -(add-1 (lambda (f) (lambda (x) (f (f x))))) +(add-1 (lambda (f) (lambda (x) (f x)))) -(lambda (f) (lambda (x) (f (((lambda (f) (lambda (x) (f (f x)))) f) x)))) +(lambda (f) (lambda (x) (f (((lambda (f) (lambda (x) (f x))) f) x)))) -(lambda (f) (lambda (x) (f (f (f x))))) +(lambda (f) (lambda (x) (f (((lambda (x) (f x))) x)))) +(lambda (f) (lambda (x) (f (f x)))) ``` From this we can define: ```scheme - -(define two (lambda (f) (lambda (x) (f (f (f x)))))) - +(define two (lambda (f) (lambda (x) (f (f x))))) ``` The addition will be defined as: