previous
|
index
|
next
An Inductive Proof of the Correctness of
foo
Base Case
:
foo
squares argument 0, because when given 0
foo
returns 0, and the square of 0 is 0.
previous
|
index
|
next