diff -r 908e4f6cdf7c -r 4d5058706f1b solution/cw5/fact.fun
--- a/solution/cw5/fact.fun	Fri Oct 28 09:08:13 2022 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,21 +0,0 @@
-// a simple factorial program
-// (including a tail recursive version)
-
-
-def fact(n: Int) : Int =
-  if n == 0 then 1 else n * fact(n - 1);
-
-def facT(n: Int, acc: Int) : Int =
-  if n == 0 then acc else facT(n - 1, n * acc);
-
-def facTi(n: Int) : Int = facT(n, 1);
-
-def top() : Void = {
-  print_int(fact(6));
-  print_char(',');
-  print_int(facTi(6));
-  print_char('\n')
-};
-
-top()
-