Minor typos and nicer example.

probsys · Feb 29, 2020 · d02f8ab · d02f8ab
1 parent 9d41127
commit d02f8ab
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -57,7 +57,7 @@ event = ((JohnCalls << {1}) & (MaryCalls << {1}) & (Alarm << {1})
 print(model.prob(event))
 
 # Ask a conditional query.
-event = (JohnCalls << {1}) & (MaryCalls << {1})
+event = (JohnCalls << {1}) | (MaryCalls << {1})
 model_condition = model.condition(event)
 print(model_condition.prob(Burglary << {1}))
 

diff --git a/SEMANTICS b/SEMANTICS
@@ -95,7 +95,7 @@ Modeling Language (Syntactic Domain)
     = Nominal {sᵢ:pᵢ ∣ i=1, …, m}   [NominalDist]
     | Normal μ ν | …                [ContinuousDist]
     | Poisson λ | …                 [DiscreteDist]
-    | w₁*d₁ + w₂d₂                    [MixtureDist]
+    | w₁*d₁ + w₂*d₂                 [MixtureDist]
 
   c ∈ Program
     = x ~ d                     [Sample]