From: Jim Pryor Date: Thu, 18 Nov 2010 23:37:20 +0000 (-0500) Subject: assignment7 tweaks X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=bf3964615a2ebfa1e6c3466fb6e74cbcaffb4a7b;hp=fbf7eb4bd166b7bdf656f1c5f12528a39954dc51 assignment7 tweaks Signed-off-by: Jim Pryor --- 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.