Strategy in an infinite game (source code)

= Strategy in an infinite game

A strategy assigns one legal move to every finite position at which its player is to move. A play follows the strategy when every move of that player is the assigned move.