@@ -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.