From: jim <jim@web>
Date: Sat, 14 Feb 2015 22:01:42 +0000 (-0500)
Subject: tweak
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=3212b68efef975f8ae4b7057e827e60654c6f29f;hp=3303e8c15d71c68c58c6eec5d6dc7c03e3d6d7bd

tweak
---

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:
 <code>3 &equiv; \f z. f (f (f z)) &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;;  or \f z. f<sup>3</sup> z</code>  
 <code>...</code>
 
-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.