egall...@babel.ls.fi.upm.es (Emilio Jesús Gallego Arias) writes: > IMHO, if you assume IO a = World -> (World, a), then getChar is indeed a > function and deterministic. It is, there are not w :: World such that > getChar w != getChar.
Sorry I meant: There is not w :: World such that getChar w != getChar w. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
