X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=exercises%2Fassignment2_answers.mdwn;h=ad017f0039ac9fdeff4a4d71dbc11a725b0cf63d;hp=f4d67862947e6ef210cb1b9cd9dedba96bb5f07a;hb=90b04cba6b40529aaa02ef0ae948fb2fa5a575e5;hpb=5fdf3508ff77efcbf1edd7b41e2cb9168636ec92

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>