let rec Hanoi_Tower n from _to help =
    if n > 0 then
        let k = n - 1
        Hanoi_Tower k from help _to
        printfn "%A -> %A" from _to
        Hanoi_Tower k help _to from

let _ = Hanoi_Tower 4 "a" "b" "c"