From: jim <jim@web>
Date: Tue, 10 Feb 2015 03:35:30 +0000 (-0500)
Subject: compare `cons`
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=90b04cba6b40529aaa02ef0ae948fb2fa5a575e5

compare `cons`
---

diff --git a/exercises/assignment2_answers.mdwn b/exercises/assignment2_answers.mdwn
index f4d67862..ad017f00 100644
--- a/exercises/assignment2_answers.mdwn
+++ b/exercises/assignment2_answers.mdwn
@@ -202,5 +202,8 @@ Numbers
 
     How would you express the `succ` function in the Lambda Calculus?
 
-        let succ = \n. \f z. f (n f z)        
+        let succ = \n. \f z. f (n f z) in ...
 
+    Compare the definition of `cons`, which has an additional element:
+
+    <code>let cons = \<u>d</u> ds. \f z. f <u>d</u> (ds f z) in ...</code>