4 lines
No EOL
141 B
Text
4 lines
No EOL
141 B
Text
-- Factorial example with proper precedence
|
||
factorial ≜ λn∈ℕ: (n≤1 ⟹ 1) | (n×factorial(n-1));
|
||
result ≜ factorial(5);
|
||
✎result; |