update week1 notes

[lambda.git] / week1.mdwn

diff --git a/week1.mdwn b/week1.mdwn
index 0c683e8..18bd2d9 100644 (file)
--- a/week1.mdwn
+++ b/week1.mdwn
@@ -297,8 +297,8 @@ That should just bind the variable `x` to the value `10` and the variable `y` to
 but in other examples it will be substantially more convenient to be able to bind `x` and `y` simultaneously. Here's an example:
 
 `let`  
 but in other examples it will be substantially more convenient to be able to bind `x` and `y` simultaneously. Here's an example:
 
 `let`  

-`  f be` λ `x. (x, 2*x)`  
-`  (x, y) be f 10`  
+  `f be` λ `x. (x, 2*x)`  
+  `(x, y) be f 10`  

 `in [x, y]`
 
 which will evaluate to `[10, 20]`. Note that we have the function `f` returning two values, rather than just one, just by having its body evaluate to a multivalue rather than to a single value.
 `in [x, y]`
 
 which will evaluate to `[10, 20]`. Note that we have the function `f` returning two values, rather than just one, just by having its body evaluate to a multivalue rather than to a single value.