mrsc icon indicating copy to clipboard operation
mrsc copied to clipboard

Published 20 hours ago • verified publisher icon ilya-klyuchnikov

Rearranging graphs by (maximal) free expression extraction

Open ilya-klyuchnikov opened this issue 12 years ago • 0 comments

It should allow to transform append(append(xs, ys), zs) into append(xs, append(ys, zs)).

ilya-klyuchnikov avatar Aug 25 '11 06:08 ilya-klyuchnikov