MPP - Homework 1

metadata.json

{"valueParameterInfo":[["Deposit",{"valueParameterFormat":{"contents":[6,"ada"],"tag":"DecimalFormat"},"valueParameterDescription":"Amount that both givers need to deposit."}]],"timeParameterDescriptions":[["Deadline","Time by which both deposits need to be made."]],"roleDescriptions":[["Giver1","The first giver."],["Giver2","The second giver."],["Receiver","The receiver."]],"contractType":"Other","contractShortDescription":"Two givers give to a receiver.","contractName":"MPP - Homework 1","contractLongDescription":"Two givers need to deposit the same amount of money, and the total is then paid to the receiver.","choiceInfo":[]}

playground.marlowe

When
    [Case
        (Deposit
            (Role "Giver1")
            (Role "Giver1")
            (Token "" "")
            (ConstantParam "Deposit")
        )
        (When
            [Case
                (Deposit
                    (Role "Giver2")
                    (Role "Giver2")
                    (Token "" "")
                    (ConstantParam "Deposit")
                )
                (Pay
                    (Role "Giver1")
                    (Party (Role "Receiver"))
                    (Token "" "")
                    (ConstantParam "Deposit")
                    (Pay
                        (Role "Giver2")
                        (Party (Role "Receiver"))
                        (Token "" "")
                        (ConstantParam "Deposit")
                        Close 
                    )
                )]
            (TimeParam "Deadline")
            Close 
        ), Case
        (Deposit
            (Role "Giver2")
            (Role "Giver2")
            (Token "" "")
            (ConstantParam "Deposit")
        )
        (When
            [Case
                (Deposit
                    (Role "Giver1")
                    (Role "Giver1")
                    (Token "" "")
                    (ConstantParam "Deposit")
                )
                (Pay
                    (Role "Giver1")
                    (Party (Role "Receiver"))
                    (Token "" "")
                    (ConstantParam "Deposit")
                    (Pay
                        (Role "Giver2")
                        (Party (Role "Receiver"))
                        (Token "" "")
                        (ConstantParam "Deposit")
                        Close 
                    )
                )]
            (TimeParam "Deadline")
            Close 
        )]
    (TimeParam "Deadline")
    Close 

playground.marlowe.json

{}