@ Cons x xs ys Cons x @ xs ys @ Nil ys ys game p1 Cons x' xs' Cons Capture xs game Cons x' p1 xs' xs game p1 p2 Cons Swap xs game p2 p1 xs equal Capture Capture True equal Capture Swap False equal Swap Capture False equal Swap Swap True game p1 p2 Nil @ p1 p2 goal p1 p2 moves game p1 p2 moves @ 2 Cons 2 Nil 0 game 3 Capture 0 Swap 0 equal 2 True 0 False 0 goal 3 INNERMOST Frederiksen_Glenstrup/game.tml.trs