TicTacToe - 0.1.0

Stdlib.Data.Nat.Base

Description

Definitions

import Juvix.Builtin.V1.Nat.Base open public