X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=exercises%2F_assignment4.mdwn;h=33c7e779c648643843d734ea71696bb54252c593;hp=fd9816dbfb3cc2a4eb0ffe8d9f0feb83312cc9d4;hb=5c234a526ad9ecc96ae9d17b6f74de53a0354444;hpb=72b68b0bf93018ead47492255e87f1dd97827377;ds=sidebyside

diff --git a/exercises/_assignment4.mdwn b/exercises/_assignment4.mdwn
index fd9816db..33c7e779 100644
--- a/exercises/_assignment4.mdwn
+++ b/exercises/_assignment4.mdwn
@@ -96,8 +96,8 @@ addition, and exponentiation is defined in terms of multiplication.
 8.  Find a fixed point `ξ` for the successor function.  Prove it's a fixed
 point, i.e., demonstrate that `succ ξ <~~> ξ`.  
 
-    We've had surprising success embedding normal arithmetic in the lambda
-calculus, modeling the natural numbers, addition, multiplication, and
+    We've had surprising success embedding normal arithmetic in the Lambda
+Calculus, modeling the natural numbers, addition, multiplication, and
 so on.  But one thing that some versions of arithmetic supply is a
 notion of infinity, which we'll write as `inf`.  This object usually
 satisfies the following constraints, for any finite natural number `n`: