CS 541 Lecture -*- Outline -*- for lambda-calculus

	lecture 0
* why-theory

	lecture 1
* introduction

	lecture 2
* the-simply-typed-calculus

* typed-quiz
	
* untyped-language

	lecture 3 (including quiz on above)
* quiz

* equational-theory

	lecture 4
* reduction