TicTacToe - 0.1.0

Logic.Square

Description

Definitions

type SquareSource#

A square is each of the holes in a board

Constructors

| empty@{ id : Nat; }

An empty square has a Nat that uniquely identifies it

| occupied@{ player : Symbol; }

An occupied square has a Symbol in it

instance eqSquareI : Eq SquareSource#

showSquare (square : Square) : StringSource#

Textual representation of a Square

replace (player : Symbol) (k : Nat) (square : Square) : SquareSource#