From c16131bf83b1a3364db5003362b74c36e4cf48cc Mon Sep 17 00:00:00 2001 From: Jim Date: Sat, 31 Jan 2015 21:49:26 -0500 Subject: [PATCH 1/1] update week1 notes --- week1.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/week1.mdwn b/week1.mdwn index c75da692..4381ebed 100644 --- a/week1.mdwn +++ b/week1.mdwn @@ -134,11 +134,11 @@ If we restricted ourselves to only that usage of λ-expressions, that is w However, it's tempting to help ourselves to the notion (at least partly) *unapplied* λ-expressions, too. If I can make sense of what: - (λ x. x + 1) 5 +`(`λ `x. x + 1) 5` means, then I can make sense of what: - (λ x. x + 1) +`(`λ `x. x + 1)` means, too. It's just *the function* that waits for an argument and then returns the result of `x + 1` with `x` bound to that argument. -- 2.11.0