18 Aug
2010
18 Aug
'10
7:11 p.m.
On 08/18/10 12:04, Gregory Crosswhite wrote:
Now we have that loop' = loop''. Oops! I meant that loop' = loop'' in the world passing model, so that if
loop' = \w0 -> let (w1, ()) = putStr "c" w0 in loop' w1 loop'' = \w0 -> let (w1, ()) = putStr "c" w1 in loop' w1 then loop' = loop'' = const bottom. Cheers, Greg