Towers of Hanoi: Difference between revisions

Content added Content deleted

Inline

@@ Line 3,683: / Line 3,683: @@
    then
    else {hanoi {A.rest :h} :a :c :b}
-        {div}> move {A.first :h} from :a to :b
+        {div > move {A.first :h} from :a to :b}
         {hanoi {A.rest :h} :c :b :a} }}}
 -> hanoi