Skip to content

Commit

Permalink
💚 Fix sample type errors
Browse files Browse the repository at this point in the history
  • Loading branch information
LimitEpsilon committed Jun 6, 2024
1 parent b69eca2 commit 8e3aa55
Show file tree
Hide file tree
Showing 4 changed files with 1 addition and 1 deletion.
Binary file modified samples/normal_bernoulli.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified samples/simple_itpp.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
2 changes: 1 addition & 1 deletion samples/simple_itpp.stp
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
let z = sample(bernoulli(0.5)) in
let mu = if z = 0 then ~-.1.0 else 1.0 in
let mu = if !z then ~-.1.0 else 1.0 in
let d = normal(mu, 1.0) in
let y = 0.5 in
observe(d, y);
Expand Down
Binary file modified samples/student.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.

0 comments on commit 8e3aa55

Please sign in to comment.