TicTacToe using dependent types
Primary LanguageIdris
My attempt at the NICTA course challenge, using Idris