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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
