edits
authorChris Barker <barker@kappa.(none)>
Sun, 3 Oct 2010 01:05:48 +0000 (21:05 -0400)
committerChris Barker <barker@kappa.(none)>
Sun, 3 Oct 2010 01:05:48 +0000 (21:05 -0400)
week4.mdwn

index 7cd8a92..9175c4a 100644 (file)
@@ -296,6 +296,6 @@ one.  We would need as many different addition operations as we had
 pairs of numbers that we wanted to add.
 
 Fortunately, the Church numberals are well behaved with respect to
 pairs of numbers that we wanted to add.
 
 Fortunately, the Church numberals are well behaved with respect to
-types.  They can all be given the type `(&sigma; --> &sigma;) -->
-&sigma; --> &sigma;`.
+types.  They can all be given the type (&sigma; --> &sigma;) -->
+&sigma; --> &sigma;.