(no commit message)
authorchris <chris@web>
Sat, 11 Apr 2015 19:40:40 +0000 (15:40 -0400)
committerLinux User <ikiwiki@localhost.members.linode.com>
Sat, 11 Apr 2015 19:40:40 +0000 (15:40 -0400)
topics/_week10_gsv.mdwn

index 8c2f527..58f1bab 100644 (file)
@@ -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: