2 ms·
You write > Equivalence. Two Values are equal if neither is less than the other according to the total order. Directly below the total order of what you call
by choeger 7y ago
You write
> Equivalence. Two Values are equal if
neither is less than the other according to the total order.
Directly below the total order of what you call "kinds". That confused me.
- tonyg 7y agoThanks, I'll try to clarify.