|
![](/i/fill.gif) |
Invisible wrote:
> I'm failing to see how equivalence and definition are different.
I'm thinking you have the choice of
x == y
x.isEqual(y)
and
(let x := y in (....)) or {const int x = y}
for equality, equivalence, and definition?
Two abstract structures can be equivalent without being equal. Definition is
an arbitrary assignment of a meaning to a formal name.
--
Darren New, San Diego CA, USA (PST)
I ordered stamps from Zazzle that read "Place Stamp Here".
Post a reply to this message
|
![](/i/fill.gif) |