[Haskell-cafe] Is there a name for this property: x + x - x == x
omari at smileystation.com
Wed Jun 4 14:34:22 UTC 2014
It's not quite idempotence, because more than one function is involved.
It's a common property and I figure I can write a higher order function to
build QuickCheck tests for it. I was just wondering if it has a name.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe