CS 541 Lecture -*- Outline -*-

** Quiz on Standard semantics

	1. reduce to normal form:
		\c. (\k.(k 3)) (\e1.(\k.(k 4)) (\e2. c (+ e1 e2)))
	2. using the standard semantics of FL!, compute valE[[(+ 3 4)]]
	3. compute valP[[(+ 3 4)]]