[Haskell-cafe] type metaphysics

Dan Piponi dpiponi at gmail.com
Mon Feb 2 19:29:41 EST 2009

On Mon, Feb 2, 2009 at 3:18 PM, Reid Barton <rwbarton at math.harvard.edu> wrote:

>> 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.

More information about the Haskell-Cafe mailing list