LightAndLight/idris-tictactoe
TicTacToe using dependent types
GitHub repository with 5 stars and 0 forks.
Language: Idris
Latest metric snapshot
2026-07-28: 5 stars and 0 forks.
TicTacToe using dependent types
GitHub repository with 5 stars and 0 forks.
Language: Idris
2026-07-28: 5 stars and 0 forks.