From cf671647ec7ff5ce298bca53cbacedb126416549 Mon Sep 17 00:00:00 2001 From: Chris Date: Wed, 18 Feb 2015 15:02:08 -0500 Subject: [PATCH] typos --- exercises/_assignment4.mdwn | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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? ## -- 2.11.0