Re: State of DData

On Fri, 26 Mar 2004, Alastair Reid wrote:

(For [implementations of] abstract datatypes like balanced binary trees, the appropriate equality would probably be to test whether the trees contain the same set of values even if they are balanced slightly differently.)

Of course it is! (And that's what my Standard Proposal specifies by the way...) Robert