From 6a45c3860fc064728f0fa65fd7b2869f48f49878 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Sun, 21 Nov 2010 13:30:51 -0500 Subject: [PATCH] week9 tweak Signed-off-by: Jim Pryor --- week9.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/week9.mdwn b/week9.mdwn index 4e334a03..ba99a79f 100644 --- a/week9.mdwn +++ b/week9.mdwn @@ -370,7 +370,7 @@ Here's how to implement these. We'll suppose that our assignment function is lis in eval expr2 g s'' -##How to implicit mutation with a State monad## +##How to implement mutation with a State monad## It's possible to do all of this monadically, and so using a language's existing resources, instead of adding new syntactic forms and new interpretation rules to the semantics. The patterns we use to do this in fact closely mirror the machinery described above. -- 2.11.0