search

zenna / Omega.jl

Causal, Higher-Order, Probabilistic Programming
MIT License
163 stars 17 forks source link

Complete Intervention #155

Open zenna opened 3 years ago

zenna commented 3 years ago
  1. Y | had(X => x)
  2. Y ¦ (X => x) -- concise, doesnt work with pre 1.6, unicode
  3. Y |ᵈ (X => x) -- nice, works 1.3?+, annoying to type
  4. intervene(Y, X => x) -- verbose, straightforward,
  5. had(Y, X => x)

If we choose had: """ Y | had(X => x) Y ∤ I Y | cnd(X => x) Y | I Y | rcd(X => x) Y ∥ I Y | rid(X => x) Y ∦ I """ a ⧷ b = 3 a ∤ b = 3

a + b = 3 a ⧣ b = 3

a ⧟ b = 3

a ⩞ b = 3 a ⩪ b = 3 a ⫴ b = 3

a ⫶ b = 3

a ⩦ b = 3 a ⋕ b = 3

a ǂ b = 3

a † b =3

a ⧺ b = 3 """