diff -r b40aaffe0793 -r 2f86ebda3629 progs/fun/fa0.fun
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/progs/fun/fa0.fun	Fri Dec 09 11:00:05 2022 +0000
@@ -0,0 +1,5 @@
+def fact(n) =
+  (if n == 0 then 1 else n * fact(n - 1));
+
+
+write(fact(6))