more2 assignment1 tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>

diff --git a/assignment1.mdwn b/assignment1.mdwn
index a8981cf..7568717 100644 (file)
--- a/assignment1.mdwn
+++ b/assignment1.mdwn
@@ -1,7 +1,7 @@
 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>&lambda;x</code> as `\x`.
 
 1. `(\x \y. y x) z`
 2. `(\x (x x)) z`