14 Apr
2010
14 Apr
'10
2:42 a.m.
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