From d3fc88e7f52c08a3bea9e03da9771af9896afe48 Mon Sep 17 00:00:00 2001 From: chris Date: Sat, 11 Apr 2015 15:40:40 -0400 Subject: [PATCH 1/1] --- topics/_week10_gsv.mdwn | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/topics/_week10_gsv.mdwn b/topics/_week10_gsv.mdwn index 8c2f5277..58f1bab7 100644 --- a/topics/_week10_gsv.mdwn +++ b/topics/_week10_gsv.mdwn @@ -92,7 +92,8 @@ Here's the recipe: given a starting infostate s, choose an object a from the domain of discourse. Construct a modified infostate s' by adjusting the assignment function of each possibility so as to map the variable x to a. Then update s' with φ. Finally, take the union over the results of -doing this for every object a in the domain of discourse. +doing this for every object a in the domain of discourse. If you're +unsure about this, examine the [[code|code/gsv.ml]]. Negation is natural enough: -- 2.11.0