Game of Life in Idris