TicTacToe - 0.1.0

Stdlib.Data.Int

Description

Definitions

open import Stdlib.Data.Int.Base public

builtin int-to-string axiom intToString : Int -> StringSource#

Converts an Int into String.