X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=hints%2Fassignment_4_hint_3_alternate_1.mdwn;h=900c6cb16327ad8ac03ca0cf4b4ce645e21a154b;hp=c62d620dae1229d786624117d008724a876d0b38;hb=f4c96076c1abbdf13bfb90d7e5b56ebe80dd7de7;hpb=7c8829dbea0cfaa2fedfb7d6fdd46d1558e9e68a

diff --git a/hints/assignment_4_hint_3_alternate_1.mdwn b/hints/assignment_4_hint_3_alternate_1.mdwn
index c62d620d..900c6cb1 100644
--- a/hints/assignment_4_hint_3_alternate_1.mdwn
+++ b/hints/assignment_4_hint_3_alternate_1.mdwn
@@ -2,22 +2,24 @@ Alternate strategy for Y1, Y2
 
 *	This is (in effect) the strategy used by OCaml. The mutually recursive:
 
-	let rec
-		f x = A  ; A may refer to f or g
-	and
-		g y = B  ; B may refer to f or g
-	in
-		C
+		let rec
+			f x = A  ; A may refer to f or g
+		and
+			g y = B  ; B may refer to f or g
+		in
+			C
 
-is implemented using regular, non-mutual recursion, like this (`u` is a variable not occurring free in `A`, `B`, or `C`):
+	is implemented using regular, non-mutual recursion, like this (`u` is a variable not occurring free in `A`, `B`, or `C`):
 
-	let rec u g x = (let f = u g in A)
-	in let rec g y = (let f = u g in B)
-	in let f = u g in C
+		let rec u g x = (let f = u g in A)
+		in let rec g y = (let f = u g in B)
+		in let f = u g in
+		C
 
-or, expanded into the form we've been working with:
+	or, expanded into the form we've been working with:
 
-	let u = Y (\u g x. (\f. A) (u g)) in
-	let g = Y (\g y. (\f. B) (u g)) in
-	let f = u g
+		let u = Y (\u g x. (\f. A) (u g)) in
+		let g = Y (\g y. (\f. B) (u g)) in
+		let f = u g in
+		C