From: jim
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:
+
+ `let cons = \`__d__ ds. \f z. f __d__ (ds f z) in ...