List2. i:
||L||3. 0 < L[i]
(
j.if j=
i
L[j]-1 else L[j] fi) 
||L||
L: List, i:||L||. 0 < L[i] 
||L[i--]|| = ||L|| 
n:, f:(nT). ||mklist(n;f)|| = n
0
| 1 | 1. L: List 2. i: ||L||3. 0 < L[i] (j.if j=i L[j]-1 else L[j] fi) ||L|| | 2 steps |
About:
 |  |  |  |  |  |
 |  |  |  |  |  |
 |