9 lines
185 B
Text
9 lines
185 B
Text
|
main := josephus(41, 3);
|
||
|
|
|
||
|
|
josephus(n, k) := josephusHelper(n, k, 1, 0);
|
||
|
|
|
||
|
|
josephusHelper(n, k, i, r) :=
|
||
|
|
r when i > n
|
||
|
|
else
|
||
|
|
josephusHelper(n, k, i + 1, (r + k) mod i);
|