(define iterate
  _ _ 0 -> []
  F V N -> [V|(iterate F (F V) (1- N))])

(define next-row
  R -> (MAPCAR + [0|R] (append R [0])))

(define pascal
  N -> (iterate next-row [1] N))