compare `cons`

[lambda.git] / exercises / assignment2_answers.mdwn

diff --git a/exercises/assignment2_answers.mdwn b/exercises/assignment2_answers.mdwn
index f4d6786..ad017f0 100644 (file)
--- 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>