diff -r 6512884e03b4 -r 155426396b5f progs/hanoi.fun
--- a/progs/hanoi.fun	Mon Jul 27 11:02:48 2020 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-// towers of hanoi in Fun
-
-let rec hanoi = fun n a b c ->
-  if n != 0 then (
-    hanoi (n - 1) a c b;
-    print_endline ("Move disk from pole " ^ (show a) ^ " to pole " ^ (show b));
-    hanoi (n - 1) c b a
-  ) else ();;
-
-impure $ hanoi 4 1 2 3;;
\ No newline at end of file