2 Dec
2013
2 Dec
'13
9:11 a.m.
On Mon, Dec 2, 2013 at 5:28 AM, Simon Peyton-Jones
Patrick
Thanks!
When you do something subtle like change 'foldM' to 'foldrM', could you add a comment to point out the subtlety? After all, by definition this was something that someone else missed.
Simon
Yes, will do. This commit was accidentally pushed and reverted shortly afterwards. Sorry about that.