From bf3964615a2ebfa1e6c3466fb6e74cbcaffb4a7b Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Thu, 18 Nov 2010 18:37:20 -0500 Subject: [PATCH] assignment7 tweaks Signed-off-by: Jim Pryor --- hints/assignment_7_hint_1.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. -- 2.11.0