0 < L[i] ||L[i--]|| = ||L|| 
sum(L[i--][i@0] | i@0 < ||L||) = d-1 
(
L: List. 0 < ||L|| (
r:
. r- > L^k-1))
k = 1
d1:. d1 < d (L: List. sum(L[i] | i < ||L||) = d1 0 < ||L|| (r:. r- > L^k))
List
(i:||L||. L[i] < k)
i:||L||. 2
L[i]
L: List. sum(L[i] | i < ||L||) = d-1 0 < ||L|| (r:. r- > L^k)
||L||
sum(L[i--][i@0] | i@0 < ||L[i--]||) = d-1
| 1 | 0 < L[i] | 1 step |
| 2 | ||L[i--]|| = ||L|| | 2 steps |
| 3 | sum(L[i--][i@0] | i@0 < ||L||) = d-1 | 8 steps |
About:
 |  |  |  |  |  |  |  |  |