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

[roconnor at theorem.ca]

On Wed, 14 Apr 2010, Ashley Yakeley wrote:

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

Yes, I meant Integer -> Bool.

-- 
Russell O'Connor                                      <http://r6.ca/>
``All talk about `theft,''' the general counsel of the American Graphophone
Company wrote, ``is the merest claptrap, for there exists no property in
ideas musical, literary or artistic, except as defined by statute.''