:import std/Math .

factorial [∏ (+1) → 0 | [0]]

:test ((factorial (+10)) =? (+3628800)) ([[1]])