TicTacToe - 0.1.0

Stdlib.System.IO.Nat

Definitions

builtin nat-print axiom printNat : Nat IOSource#