X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=hints%2Fassignment_7_hint_1.mdwn;h=745eb99261df79745e4ca3a09ed7bf21bd4374b0;hp=6353e87e4fb18160c3e426e1639ec6c5576d208a;hb=6c8947308a6027e3ec56b7d42ab5cb77cb442e1c;hpb=9715293258b92b83aee3a6f5d021aa85c3474017

diff --git a/hints/assignment_7_hint_1.mdwn b/hints/assignment_7_hint_1.mdwn
index 6353e87e..745eb992 100644
--- a/hints/assignment_7_hint_1.mdwn
+++ b/hints/assignment_7_hint_1.mdwn
@@ -12,3 +12,5 @@
 
 *	What does their <code>&Exists;x</code> correspond to in the framework we've been talking about?
 
+*	[More hints](/hints/assignment_7_hint_2).
+