CS 541 

* quiz on the typed lambda calculus
----------------------------------
Prove the following type judgements.

	(a) y:o, z:o |> y:o
        (b) |> (\x:o.o) : o -> o
	(c) |> (\f:o->o . \y:o . f(f(y)) : (o->o)->o
--------------------------------------