CS 227 unit -*- Outline -*-

* overview

	lectures 1-2
* assignment

* reasoning-about-assignment

	lecture 3
* mutating-cons