|
|
|
|
|
by eru
3624 days ago
|
|
Just define your own equality operator? Eg in Haskell, whether things can be compared for equality depends on their representation. (Eg church encoded datatypes do not lent themselves to the built-in derivation of the == operator.) |
|