caps

[lambda.git] / exercises / _assignment4.mdwn

diff --git a/exercises/_assignment4.mdwn b/exercises/_assignment4.mdwn
index fd9816d..33c7e77 100644 (file)
--- 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 ξ <~~> ξ`.  
 
 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`:
 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`: