3 Feb
2009
3 Feb
'09
12:29 a.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