progs/fun/fa0.fun
author Christian Urban <christian.urban@kcl.ac.uk>
Wed, 01 Oct 2025 10:37:20 +0100
changeset 995 5056d7de44af
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))