On 2010-04-14 03:41, rocon...@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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
