[Haskell-cafe] Re: instance Eq (a -> b)

Ashley Yakeley ashley at semantic.org
Wed Apr 14 13:56:38 EDT 2010

On 2010-04-14 03:41, roconnor at theorem.ca wrote:
> For example (Int -> Bool) is a perfectly fine Compact set that isn't
> finite

Did you mean "Integer -> Bool"? "Int -> Bool" is finite, but large.

Ashley Yakeley

More information about the Haskell-Cafe mailing list