14 Apr
2010
14 Apr
'10
5:05 a.m.
Ashley Yakeley
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.
You didn't make such a restriction; you wanted it for _all_ function types. -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com