DEV Community

Discussion on: Functional design: combinators

Collapse
 
gcanti profile image
Giulio Canti

but 2!==3

Actually they are equal, under the equivalence relation induced by the function f which is defined as:

x = y if and only if f(x) = f(y)

see "Equivalence kernel" here en.wikipedia.org/wiki/Equivalence_...