Factorial: Difference between revisions
Content added Content deleted
Line 6,023:
acc.
}.</syntaxhighlight>
=={{header|Latitude}}==
<syntaxhighlight lang="lean">
def factorial (n : Nat) : Nat :=
match n with
| 0 => 1
| (k + 1) => (k + 1) * factorial (k)
</syntaxhighlight>
=={{header|LFE}}==
| |||