Reduction
---------
-Find "normal forms" for the following---that is, reduce them until no more reductions are possible. We'll write λ`x` as `\x`.
+Find "normal forms" for the following---that is, reduce them until no more reductions are possible. We'll write <code>λx</code> as `\x`.
1. `(\x \y. y x) z`
2. `(\x (x x)) z`