update week1 notes

diff --git a/week1.mdwn b/week1.mdwn
index c75da69..4381ebe 100644 (file)
--- 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.