fix markup
authorjim <jim@web>
Sun, 8 Feb 2015 01:10:27 +0000 (20:10 -0500)
committerLinux User <ikiwiki@localhost.members.linode.com>
Sun, 8 Feb 2015 01:10:27 +0000 (20:10 -0500)
topics/_assignment2.mdwn

index bacd676..946df8f 100644 (file)
@@ -163,10 +163,10 @@ Numbers
 
 26. Given that we've agreed to Church's encoding of the numbers:
 
 
 26. Given that we've agreed to Church's encoding of the numbers:
 
-    <code>0 &equiv; \f z. z  
-    <code>1 &equiv; \f z. f z  
-    <code>2 &equiv; \f z. f (f z)  
-    <code>3 &equiv; \f z. f (f (f z))  
+    <code>0 &equiv; \f z. z</code>  
+    <code>1 &equiv; \f z. f z</code>  
+    <code>2 &equiv; \f z. f (f z)</code>  
+    <code>3 &equiv; \f z. f (f (f z))</code>  
     <code>...</code>
 
     How would you express the `succ` function in the Lambda Calculus?
     <code>...</code>
 
     How would you express the `succ` function in the Lambda Calculus?