Signed-off-by: Jim Pryor <profjim@jimpryor.net>
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.