progs/fun/fa0.fun
author Christian Urban <christian.urban@kcl.ac.uk>
Tue, 07 Oct 2025 16:20:30 +0100
changeset 1001 a039af69b12e
parent 903 5d8df2afec51
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
655
689d1bdd91c0 updated
Christian Urban <urbanc@in.tum.de>
parents: 626
diff changeset
     1
def fact(n) =
735
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 702
diff changeset
     2
  (if n == 0 then 1 else n * fact(n - 1));
224
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     3
655
689d1bdd91c0 updated
Christian Urban <urbanc@in.tum.de>
parents: 626
diff changeset
     4
903
5d8df2afec51 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 814
diff changeset
     5
write(fact(6))