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

roconnor at theorem.ca roconnor at theorem.ca
Wed Apr 14 15:03:28 EDT 2010

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

More information about the Haskell-Cafe mailing list