2 Feb
2009
2 Feb
'09
7:29 p.m.
On Mon, Feb 2, 2009 at 3:18 PM, Reid Barton
toSame f = (const True, head [ (< k) | k <- [1..], f (const True) == f (< k) ])
Nice! I like it because at first look it seems like there's no reason for this to terminate, but as you correctly argue, it always does. -- Dan