From: Chris Date: Wed, 18 Feb 2015 20:02:08 +0000 (-0500) Subject: typos X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=cf671647ec7ff5ce298bca53cbacedb126416549 typos --- diff --git a/exercises/_assignment4.mdwn b/exercises/_assignment4.mdwn index bb67eb40..6c92b54a 100644 --- a/exercises/_assignment4.mdwn +++ b/exercises/_assignment4.mdwn @@ -2,8 +2,9 @@ ## Basic fixed points ## -1. Recall that `ω := \f.ff`, and `Ω := ω ω`. -Is Ω a fixed point for ω? Find a fixed point for ω, +1. Recall that ω := \f.ff, and Ω := +ω ω. Is Ω a fixed point for +ω? Find a fixed point for ω, and prove that it is a fixed point. ## Arithmetic infinity? ##