edits

diff --git a/week4.mdwn b/week4.mdwn
index 7cd8a92..9175c4a 100644 (file)
--- 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 (σ --> σ) -->
+σ --> σ.