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

On 2010-04-14 03:41, roconnor@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