mrsc
mrsc copied to clipboard
Rearranging graphs by (maximal) free expression extraction
It should allow to transform append(append(xs, ys), zs)
into append(xs, append(ys, zs))
.
It should allow to transform append(append(xs, ys), zs)
into append(xs, append(ys, zs))
.