--- a/solution/cw5/hanoi.fun	Fri Oct 28 09:08:13 2022 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,13 +0,0 @@
-// Towers of Hanoi in Fun
-
-def hanoi(n: Int, a: Int, b: Int, c: Int) : Void =
-  if n != 0 then {
-    hanoi(n - 1, a, c, b);
-    print_int(a);
-    print_char('-'); print_char('>'); // prints out "->"
-    print_int(b);
-    print_char('\n');
-    hanoi(n - 1, c, b, a)
-  } else skip;
-
-hanoi(4,1,2,3)