l1[i1] = l2[(i+||l1||-||l1||)]
i,j:
. i < ||l1||+||l2|| 
j < ||l1||+||l2|| 
i = j (l1 @ l2)[i] = (l1 @ l2)[j]
(l1 @ l2)[i1] = (l1 @ l2)[(i+||l1||)]
as,bs:T List, i:||as||. (as @ bs)[i] = as[i]))
0
as,bs:T List, i:{||as||..(||as||+||bs||)
}. (as @ bs)[i] = bs[(i-||as||)]
0
| 1 | l1[i1] = l2[(i+||l1||-||l1||)] | 1 step |
About:
 |  |  |  |  |  |  |  |  |