Vesting Example

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 "DAO")
            (Role "DAO")
            (Token "" "SHARE")
            (Constant 100)
        )
        (Pay
            (Role "DAO")
            (Party (Role "RECIPIENT"))
            (Token "" "SHARE")
            (Constant 60)
            (When
                []
                (TimeParam "vesting_second_half")
                (Pay
                    (Role "DAO")
                    (Party (Role "RECIPIENT"))
                    (Token "" "SHARE")
                    (Constant 40)
                    Close 
                )
            )
        )]
    (TimeParam "timeout")
    Close 

playground.marlowe.json

{}