Create tictactoe.agda

sd