From 9b0baed249784c4f00c0398f23b5fcb7c853e040 Mon Sep 17 00:00:00 2001 From: jim Date: Sat, 7 Feb 2015 20:10:27 -0500 Subject: [PATCH] fix markup --- topics/_assignment2.mdwn | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/topics/_assignment2.mdwn b/topics/_assignment2.mdwn index bacd676e..946df8fe 100644 --- a/topics/_assignment2.mdwn +++ b/topics/_assignment2.mdwn @@ -163,10 +163,10 @@ Numbers 26. Given that we've agreed to Church's encoding of the numbers: - 0 ≡ \f z. z - 1 ≡ \f z. f z - 2 ≡ \f z. f (f z) - 3 ≡ \f z. f (f (f z)) + 0 ≡ \f z. z + 1 ≡ \f z. f z + 2 ≡ \f z. f (f z) + 3 ≡ \f z. f (f (f z)) ... How would you express the `succ` function in the Lambda Calculus? -- 2.11.0