TicTacToe - 0.1.0

Stdlib.System.IO.String

Definitions

builtin string-print axiom printString : String IOSource#

builtin IO-readline axiom readLn : (String IO) IOSource#