mirror
/
RosettaCodeData
mirror of https://github.com/acmeism/RosettaCodeData.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
RosettaCodeData/Task/Factorial/Lean/factorial.lean

5 lines
98 B
Plaintext
Raw Permalink Blame History

def factorial (n : Nat) : Nat :=
match n with
| 0 => 1
| (k + 1) => (k + 1) * factorial (k)
Reference in New Issue View Git Blame Copy Permalink