From: Chris Barker Date: Sun, 3 Oct 2010 01:05:48 +0000 (-0400) Subject: edits X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=4acb0dcfac415c233c70e3125e333e07fa51a387;hp=5dad3bae051905473c6cc3d01bf261cbcce0968e;ds=sidebyside edits --- 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 (σ --> σ) --> +σ --> σ.