From 34192d198c2d3f026957260fd50e2502b46fb1d2 Mon Sep 17 00:00:00 2001 From: Jim Date: Sat, 31 Jan 2015 23:48:51 -0500 Subject: [PATCH] update week1 notes --- week1.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/week1.mdwn b/week1.mdwn index 0c683e8a..18bd2d9a 100644 --- 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` -` 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. -- 2.11.0