From 3212b68efef975f8ae4b7057e827e60654c6f29f Mon Sep 17 00:00:00 2001 From: jim Date: Sat, 14 Feb 2015 17:01:42 -0500 Subject: [PATCH] tweak --- topics/week2_encodings.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/topics/week2_encodings.mdwn b/topics/week2_encodings.mdwn index 6adafda0..85d4d77b 100644 --- a/topics/week2_encodings.mdwn +++ b/topics/week2_encodings.mdwn @@ -423,7 +423,7 @@ And indeed this is the Church encoding of the numbers: 3 ≡ \f z. f (f (f z))         ; or \f z. f3 z ... -The encoding for `0` is equivalent to `\f z. z`, which we've also proposed as the encoding for `[]` and for `false`. Don't read too much into this. +The encoding for `0` is what we also proposed as the encoding for `[]` and for `false`. Don't read too much into this. Given the above, can you figure out how to define the `succ` function? We already worked through the definition of `cons`, and this is just a simplification of that, so you should be able to do it. We'll make it a homework. -- 2.11.0