9 Feb
2009
9 Feb
'09
7:07 p.m.
egallego@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.