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