Handouts

	Lambda Calculus
	Prof. Hudak's Lecture Notes (updated May 2)
	SOE Chapter 11 slides (Proof by Induction)
	SOE Chapter 20 slides (Functional Music Composition)
	SOE Chapter 21 slides (Interpreting Functional Music)
	Solution to mid-term exam.