From 90b04cba6b40529aaa02ef0ae948fb2fa5a575e5 Mon Sep 17 00:00:00 2001 From: jim Date: Mon, 9 Feb 2015 22:35:30 -0500 Subject: [PATCH] compare `cons` --- exercises/assignment2_answers.mdwn | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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 ... -- 2.11.0