1 | 2. x: |E| List 3. y: |E| List 4. ![]() ![]() ![]() ![]() ![]() 5. x@0: |E| 6. is-send(E)(x@0) 7. y = (x @ [x@0]) 8. i: ![]() 9. ||y|| = ||x||+||[x@0]|| 10. i < ||x|| ![]() ![]() ![]() ![]() |
2 | 2. x: |E| List 3. y: |E| List 4. ![]() ![]() ![]() ![]() ![]() 5. x@0: |E| 6. is-send(E)(x@0) 7. y = (x @ [x@0]) 8. i: ![]() 9. ||y|| = ||x||+||[x@0]|| 10. ![]() ![]() ![]() ![]() ![]() |
About:
![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() |