typo in Oct-12.md

[hahalps]

explicate_effect (WhileLoop cnd body) cont`
=>
goto loop

where
body' = explicate_effect body (goto loop)
loop-body = explciate_effect cnd body' cont

loop:
    loop-body 

should change loop-body to
loop-body = explicate_pred cnd body' cont