X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment1.mdwn;h=7568717dcc67bf49a3775eb31573727bb58070f2;hp=a8981cf2677261ea08fdc4023d4229967f94dded;hb=00ca9d64a3e95f9163545be1e0ae7845298a10c2;hpb=7a4c7045825cda0f1974ff3a8bb8d1c7e46d3d14;ds=sidebyside

diff --git a/assignment1.mdwn b/assignment1.mdwn
index a8981cf2..7568717d 100644
--- 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`