/DT-TicTacToe

Dependently typed TicTacToe engines

Primary LanguageIdrisMIT LicenseMIT

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