X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=hints%2Fassignment_7_hint_1.mdwn;h=effe6ba15d86b7035f357786798b869aa4d6d99a;hp=0d67cd91a9ed4d95f9cbc519d5c662250a26fc0c;hb=bf3964615a2ebfa1e6c3466fb6e74cbcaffb4a7b;hpb=fbf7eb4bd166b7bdf656f1c5f12528a39954dc51
diff --git a/hints/assignment_7_hint_1.mdwn b/hints/assignment_7_hint_1.mdwn
index 0d67cd91..effe6ba1 100644
--- a/hints/assignment_7_hint_1.mdwn
+++ b/hints/assignment_7_hint_1.mdwn
@@ -5,7 +5,7 @@
* Where they say "reference system," which they use the leter `r` for, that corresponds to what we've been calling "assignments", and have been using the letter `g` for.
-* Where they say `r[x/n]`, that's our `g{x:=n}`.
+* Where they say `r[x/n]`, that's our `g{x:=n}`, or in OCaml, `fun v -> if v = 'x' then n else g v`.
* Their function `g`, which assigns objects from the domain to pegs, corresponds to our store function, which assigns entities to indexes.