TicTacToe - 0.1.0

Stdlib.System.IO.Bool

Definitions

builtin bool-print axiom printBool : Bool IOSource#