3 lines
83 B
Agda
3 lines
83 B
Agda
factorial : ℕ → ℕ
|
||
factorial zero = 1
|
||
factorial (suc n) = suc n * factorial n
|