crosses-zeros Console game of crosses-zeros (noughts and crosses, tic-tac-toe) written in Idris. This is a learning project. Now it has minimax (CPU player).