CS 641 Lecture -*- Outline -*-

	meeting 1
* fundamentals

* coercion-operators

* relational-assignment

* reasoning