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