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=6725def2c83f8904cfe3c8e2c6cd08deb1a51ec4;hb=bf3964615a2ebfa1e6c3466fb6e74cbcaffb4a7b;hpb=00fb05d9ee37681282813893ee69ed7441fe1273

diff --git a/hints/assignment_7_hint_1.mdwn b/hints/assignment_7_hint_1.mdwn
index 6725def2..effe6ba1 100644
--- a/hints/assignment_7_hint_1.mdwn
+++ b/hints/assignment_7_hint_1.mdwn
@@ -3,9 +3,9 @@
 
 *	Where they represent pegs as natural numbers, that corresponds to our representing locations in a store by their indexes in the store.
 
-*	Where they say "reference system," which they use the leter `r` for, that corresponds to what we've been calling "assignments", and use the letter `g` for.
+*	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.