X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=hints%2Fassignment_4_hint_3.mdwn;h=94e2010a8c323137b9c408dabb252fc474d1a4cf;hp=9cfef8adb6daedb127ffb6c6cbe452fa921f17cb;hb=HEAD;hpb=0a79dd27b99169648a1f03ec0b8847a1c5b822fc

diff --git a/hints/assignment_4_hint_3.mdwn b/hints/assignment_4_hint_3.mdwn
deleted file mode 100644
index 9cfef8ad..00000000
--- a/hints/assignment_4_hint_3.mdwn
+++ /dev/null
@@ -1,26 +0,0 @@
-Hints for Y1,Y2. 
-
-*	Begin by trying to define `X1` and `X2` directly, then once they're working, you can abstract back to a pair of combinators `Y1` and `Y2` that generate `X1` and `X2` for a given pair of arguments `T1` and `T2`.
-
-	You want:
-
-		X1 <~~> T1 X1 X2 and
-		X2 <~~> T2 X1 X2
-
-*	X1 is presumably going to have some form like:
-
-		(\elem1 elem2 ... (T1
-							(do-something-with-the-elems-to-make-X1)
-							(do-something-with-the-elems-to-make-X2)
-						  ))
-		some-elem1 some-elem2 ...
-	
-	Right? What will the form of X2 be?
-
-*	Can you see how to go on?
-
-*	Call the displayed abstract above `(\elem1 elem2 ... (...))` "elem0". What's the relation between `X1`, `elem0`, `elem1`, `elem2`...?
-
-*	Go on, now you can do it.
-
-