Factorial: Difference between revisions
Content added Content deleted
(→{{header|Agda}}: Updated Agda example) |
|||
| Line 3,809: | Line 3,809: | ||
<syntaxhighlight lang="text"> |
<syntaxhighlight lang="text"> |
||
proc factorial n . r . |
|||
r = 1 |
r = 1 |
||
for i = 2 to n |
for i = 2 to n |
||