Merge branch 'pryor'

[lambda.git] / hints / assignment_7_hint_1.mdwn

diff --git a/hints/assignment_7_hint_1.mdwn b/hints/assignment_7_hint_1.mdwn
index 6353e87..745eb99 100644 (file)
--- 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).
+