TicTacToe - 0.1.0

Stdlib.Debug.Fail

Definitions

builtin fail axiom failwith : {A : Type} String ASource#

Primitive that exits the program with an error message.