New Project

metadata.json

{"valueParameterDescriptions":[],"slotParameterDescriptions":[],"roleDescriptions":[],"contractType":"O","contractName":"","contractDescription":"","choiceDescriptions":[]}

playground.marlowe

When
    [Case
        (Deposit
            (PK "our-bet")
            (Role "player1")
            (Token "" "")
            (Constant 15)
        )
        (When
            [Case
                (Deposit
                    (PK "our-bet")
                    (Role "player2")
                    (Token "" "")
                    (Constant 15)
                )
                (When
                    [Case
                        (Choice
                            (ChoiceId
                                "outcome"
                                (Role "player1")
                            )
                            [Bound 1 2]
                        )
                        (When
                            [Case
                                (Choice
                                    (ChoiceId
                                        "name"
                                        (Role "player2")
                                    )
                                    [Bound 1 2]
                                )
                                (If
                                    (ValueEQ
                                        (ChoiceValue
                                            (ChoiceId
                                                "outcome"
                                                (Role "player1")
                                            ))
                                        (ChoiceValue
                                            (ChoiceId
                                                "outcome"
                                                (Role "player2")
                                            ))
                                    )
                                    (If
                                        (ValueEQ
                                            (ChoiceValue
                                                (ChoiceId
                                                    "outcome"
                                                    (Role "player1")
                                                ))
                                            (Constant 1)
                                        )
                                        (Pay
                                            (PK "our-bet")
                                            (Party (Role "player1"))
                                            (Token "" "")
                                            (Constant 30)
                                            Close 
                                        )
                                        (Pay
                                            (PK "our-bet")
                                            (Party (Role "player2"))
                                            (Token "" "")
                                            (Constant 30)
                                            Close 
                                        )
                                    )
                                    Close 
                                )]
                            0 Close 
                        )]
                    100 Close 
                )]
            30
            (Pay
                (PK "our-bet")
                (Party (Role "player1"))
                (Token "" "")
                (Constant 15)
                Close 
            )
        )]
    20 Close 

playground.marlowe.json

{}