X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=hints%2Fassignment_4_answer_4.mdwn;fp=hints%2Fassignment_4_answer_4.mdwn;h=0000000000000000000000000000000000000000;hp=c2cd1fd7a937c678f7936d6527f1a304713b434d;hb=fd698b815e417dec463cb0f0e9ed056ab83daed6;hpb=573a8b36ce653c84c2aecb2b81ef99128cb41d13

diff --git a/hints/assignment_4_answer_4.mdwn b/hints/assignment_4_answer_4.mdwn
deleted file mode 100644
index c2cd1fd7..00000000
--- a/hints/assignment_4_answer_4.mdwn
+++ /dev/null
@@ -1,29 +0,0 @@
-
-
-	let Y1 = \t1 t2.
-				(\elem1 elem2. t1 (elem1 elem1 elem2) (elem2 elem1 elem2)) ; elem1
-				(\elem1 elem2. t1 (elem1 elem1 elem2) (elem2 elem1 elem2)) ; elem1
-				(\elem1 elem2. t2 (elem1 elem1 elem2) (elem2 elem1 elem2)) ; elem2
-			in
-
-	let Y2 = \t1 t2.
-				(\elem1 elem2. t2 (elem1 elem1 elem2) (elem2 elem1 elem2)) ; elem2
-				(\elem1 elem2. t1 (elem1 elem1 elem2) (elem2 elem1 elem2)) ; elem1
-				(\elem1 elem2. t2 (elem1 elem1 elem2) (elem2 elem1 elem2)) ; elem2
-			in
-
-
-	X1 === Y1 t1 t2 ~~> elem1 elem1 elem2
-			 === (\elem1 elem2. t1 (elem1 elem1 elem2) (elem2 elem1 elems2)) elem1 elem2
-			 ~~> t1 (elem1 elem1 elem2) (elem2 elem1 elem2)
-			<~~> t1 (Y1 t1 t2) (Y2 t1 t2)
-			 === t1 X1 X2
-
-			and
-
-	X2 === Y2 t1 t2 ~~> elem2 elem1 elem2
-			 === (\elem1 elem2. t2 (elem1 elem1 elem2) (elem2 elem1 elems2)) elem1 elem2
-			 ~~> t2 (elem1 elem1 elem2) (elem2 elem1 elem2)
-			<~~> t2 (Y1 t1 t2) (Y2 t1 t2)
-			 === t2 X1 X2
-