Dr. Johannes Waldmann wrote:
> well, as i said, it's just a thought.
Your thought would destroy equational reasoning! For example you
would be able to define different equalties on the same data
structure. So Red==Black could be False in one place and True
in another place. Does that make any sense?
Best Wishes,
Jan
___
'---|--------------------------------------------------------------
| __, _ _ EMail: [EMAIL PROTECTED]
| / | / |/ | WWWeb: http://www.uni-passau.de/~laitenbe/
|/\_/|_/ | |_/
/| Laitenberger
--(-|--------------------------------------------------------------
\|
