X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week4.mdwn;h=9175c4aeaf9d478cec36e04ce49ef7ad88965261;hp=7cd8a921dbfebc07558180aa7717a3b83e0cd0d5;hb=4acb0dcfac415c233c70e3125e333e07fa51a387;hpb=5dad3bae051905473c6cc3d01bf261cbcce0968e

diff --git a/week4.mdwn b/week4.mdwn
index 7cd8a921..9175c4ae 100644
--- a/week4.mdwn
+++ b/week4.mdwn
@@ -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
-types.  They can all be given the type `(σ --> σ) -->
-σ --> σ`.
+types.  They can all be given the type (σ --> σ) -->
+σ --> σ.