week9 tweak

[lambda.git] / week9.mdwn

diff --git a/week9.mdwn b/week9.mdwn
index 2d3efc1..85cbdef 100644 (file)
--- a/week9.mdwn
+++ b/week9.mdwn
@@ -418,8 +418,8 @@ The `fun _ ->` part here discards the value wrapped by `some_existing_state_mona
 
 The other operation for the State monad will be to update the existing store to a new one. This operation looks like this:
 
-       let set_state (value : int) : dummy state =
-               fun s -> (dummy, value);;
+       let set_state (new_store : int) : dummy state =
+               fun s -> (dummy, new_store);;
 
 If we want to stick this in a `... >>= ...` chain, we'll need to prefix it with `fun _ ->` too, like this: