DT TicTacToe Dependetly typed implementation of TicTacToe variants. All the engines are total and the rules of the game are enforced by the compiler. Implementations Simple: 9×9 Classic TicTacToe NDim : N×N Grid TicTacToe