Desugar x <~ uniform([c]) to x <- c

This is solution #2 of issue #8.
OUPL · Sep 17, 2019 · 5f1bd13 · 5f1bd13
1 parent 91104fe
commit 5f1bd13
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/programs/issue8.zar b/programs/issue8.zar
@@ -0,0 +1,5 @@
+main:
+  p <~ uniform([1]:[int])        
+  x <~ bernoulli(1/2)
+  y <~ bernoulli(1/2)
+  return x