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#