14 Apr
2010
14 Apr
'10
3:03 p.m.
On Wed, 14 Apr 2010, Ashley Yakeley wrote:
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.
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.''