This is the continuation of
Note that I modify the array language a little bit.
(define conway-kernel
(<< (Array #(1 1 1 1 0 1 1 1 1))
(rho2 3 3)))
(define (neighbor grid)
(<< conway-kernel
(Convolve2 grid '(1 1))))
(define (step grid)
(Materialize2
((Zip-with
(λ (x n)
(if (= x 1)
(if (or (= n 2) (= n 3)) 1 0)
(if (= n 3) 1 0))))
grid (neighbor grid))))