previous
|
index
|
next
An Example
Suppose I present you with the following procedure:
(define foo (lambda (n) (if (= n 0) 0 (+ (foo (- n 1)) (- (+ n n) 1)))))
I claim that
foo
squares its argument
Should you believe me?
previous
|
index
|
next