19 Aug
2010
19 Aug
'10
3:11 a.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