assignment7 tweaks

[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 9c22165..1c91401 100644 (file)
--- a/hints/assignment_7_hint_1.mdwn
+++ b/hints/assignment_7_hint_1.mdwn
@@ -13,3 +13,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).
+