From d3fc88e7f52c08a3bea9e03da9771af9896afe48 Mon Sep 17 00:00:00 2001
From: chris
Date: Sat, 11 Apr 2015 15:40:40 -0400
Subject: [PATCH]
---
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