RosettaCodeData/Task/Conditional-structures/Unison/conditional-structures.unison

6 lines
90 B
Plaintext

factorial : Nat -> Nat
factorial x =
if x == 0 then 1
else
x * fac (Nat.drop x 1)