On Wed, 2010-04-14 at 16:11 +1000, Ivan Miljenovic wrote: > but the only way you can "prove" it in > Haskell is by comparing the values for the entire domain (which gets > computationally expensive)...
It's not expensive if the domain is, for instance, Bool. -- Ashley Yakeley _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
