15-150: Principles of Functional Programming

Lecture 3: Recursion and Induction

Key Concepts

Sample Code

Some Notes on Induction

Here is an introduction to lists.
(There will be additional notes about structural induction over lists and trees next time.)

Slides from Lecture