5 lines
102 B
Text
5 lines
102 B
Text
:import std/Math .
|
|
|
|
factorial [∏ (+1) → 0 | [0]]
|
|
|
|
:test ((factorial (+10)) =? (+3628800)) ([[1]])
|