From: Jim Pryor <profjim@jimpryor.net>
Date: Sun, 21 Nov 2010 18:30:51 +0000 (-0500)
Subject: week9 tweak
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=6a45c3860fc064728f0fa65fd7b2869f48f49878;ds=sidebyside

week9 tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---

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.