Logic.Square
Contents
type SquareSource#
A square is each of the holes in a board
Constructors
An empty square has a Nat that uniquely identifies it
An occupied square has a Symbol in it
==Square : Square → Square → BoolSource#
Equality for Squares
showSquare : Square → StringSource#
Textual representation of a Square
replace (player : Symbol) (k : Nat) : Square → SquareSource#