progs/fun-tests/hanoi.fun
author Christian Urban <christian.urban@kcl.ac.uk>
Thu, 30 Jul 2020 13:50:54 +0100
changeset 742 b5b5583a3a08
parent 706 progs/hanoi.fun@b560f78781b9
child 790 31a9f89776a3
permissions -rw-r--r--
updated

// 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;;