New Project123

playground.marlowe

When
    [Case
        (Deposit
            (Role "party1")
            (Role "fan")
            (Token "" "")
            (ConstantParam "donation")
        )
        (When
            [Case
                (Deposit
                    (Role "fan")
                    (Role "bank")
                    (Token "DtC" "DauTCoin")
                    (Scale
                        (100%1)
                        (ConstantParam "donation")
                    )
                )
                Close ]
            10 Close 
        )]
    5 Close 

playground.marlowe.json

{}