8 lines
136 B
Text
8 lines
136 B
Text
Method "_`!" is [n : [0..1] | 1];
|
||
|
||
Method "_`!" is
|
||
[
|
||
n : [2..∞)
|
||
|
|
||
left fold 2 to n through [k : [2..∞), s : [2..∞) | k × s]
|
||
];
|