An implementation of the game of life using in Idris