Factorial: Difference between revisions
Content added Content deleted
| Line 6,023: | Line 6,023: | ||
acc. |
acc. |
||
}.</syntaxhighlight> |
}.</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}}== |
=={{header|LFE}}== |
||