From de108826480c232b504d1fa0583c4e2e140117a6 Mon Sep 17 00:00:00 2001
From: jim <jim@web>
Date: Sat, 7 Feb 2015 20:09:50 -0500
Subject: [PATCH] add Church encodings

---
 topics/_assignment2.mdwn | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/topics/_assignment2.mdwn b/topics/_assignment2.mdwn
index e223cd1c..bacd676e 100644
--- a/topics/_assignment2.mdwn
+++ b/topics/_assignment2.mdwn
@@ -163,7 +163,10 @@ Numbers
 
 26. Given that we've agreed to Church's encoding of the numbers:
 
-    BLAH
+    <code>0 &equiv; \f z. z  
+    <code>1 &equiv; \f z. f z  
+    <code>2 &equiv; \f z. f (f z)  
+    <code>3 &equiv; \f z. f (f (f z))  
+    <code>...</code>
 
     How would you express the `succ` function in the Lambda Calculus?
-
-- 
2.11.0