Game of Life and other Cellular Automata in Agda