redtt icon indicating copy to clipboard operation
redtt copied to clipboard
verified publisher icon RedPRL

[Efficiency] simultaneous, delayed substitution

Open favonia opened this issue 7 years ago • 1 comments

AFTER #270.

favonia avatar Sep 30 '18 01:09 favonia

@jonsterling Hmm, I don't seem to know how to mimic simultaneous substitution in a union-and-find structure (except for ugly reconstruction).

favonia avatar Sep 30 '18 19:09 favonia