Homework-Lesson_2

metadata.json

{"valueParameterInfo":[],"timeParameterDescriptions":[],"roleDescriptions":[],"contractType":"Other","contractShortDescription":"Unknown","contractName":"Unknown","contractLongDescription":"We couldn't find information about this contract","choiceInfo":[]}

playground.marlowe

When
    [Case
        (Deposit
            (Role "pending")
            (Role "giver1")
            (Token "" "")
            (Constant 1)
        )
        (When
            [Case
                (Deposit
                    (Role "pending")
                    (Role "giver2")
                    (Token "" "")
                    (Constant 1)
                )
                (Pay
                    (Role "pending")
                    (Party (Role "receiver"))
                    (Token "" "")
                    (Constant 2)
                    Close 
                )]
            1659460320000 Close 
        )]
    1662138120000
    (When
        [Case
            (Deposit
                (Role "pending")
                (Role "giver2")
                (Token "" "")
                (Constant 1)
            )
            (When
                [Case
                    (Deposit
                        (Role "pending")
                        (Role "giver1")
                        (Token "" "")
                        (Constant 1)
                    )
                    (Pay
                        (Role "pending")
                        (Party (Role "receiver"))
                        (Token "" "")
                        (Constant 2)
                        Close 
                    )]
                1664731320000 Close 
            )]
        1667408520000 Close 
    )

playground.marlowe.json

{}