Definitions
import Logic.Square open public
import Logic.Symbol open public
possibleMoves : List Square → List NatSource#
Returns the list of numbers corresponding to the empty Squares
import Logic.Square open public
import Logic.Symbol open public
possibleMoves : List Square → List NatSource#
Returns the list of numbers corresponding to the empty Squares