15 Apr
2015
15 Apr
'15
3:50 p.m.
Sorry, I got it wrong. I should have said "there's no way to evaluate c without evaluating getline twice (<=> evaluating the constructor of the monad type, but not necessarily any further) ", but I guess this is what Jon Schneider meant by:
Can we say "a" absolutely always receives the first line of input and if so what makes this the case rather than "b" receiving it ?
Best regards, Marcin Mrotek