previous | index | next

Exercise 7.39, p. 204

     (define sevens
       (lambda (n)
         (if (= n 0)
             '()
             (cons 7 (sevens (- n 1))))))
Objective: Prove by induction on n that sevens produces a list of length n

Base case:

previous | index | next