Permalink
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
9 lines (8 sloc) 104 Bytes
def main(){
A:=flip(0.5);
B:=flip(0.5);
C:=flip(0.5);
D:=A+B+C;
observe(D>=2);
return A;
}