Skip to content

Instantly share code, notes, and snippets.

@wutzebaer
Created March 27, 2021 22:31
Show Gist options
  • Save wutzebaer/93ff5b720e568bb7e02f5839b0a21f7e to your computer and use it in GitHub Desktop.
Save wutzebaer/93ff5b720e568bb7e02f5839b0a21f7e to your computer and use it in GitHub Desktop.
New Project
When
[Case
(Deposit
(Role "escrow")
(Role "buyer")
(Token "" "")
(Constant 500)
)
(When
[Case
(Choice
(ChoiceId
"jobDone"
(Role "seller")
)
[Bound 0 1]
)
(If
(ValueEQ
(ChoiceValue
(ChoiceId
"jobDone"
(Role "seller")
))
(Constant 1)
)
(Pay
(Role "escrow")
(Account (Role "seller"))
(Token "" "")
(Constant 500)
Close
)
(Pay
(Role "escrow")
(Party (Role "buyer"))
(Token "" "")
(Constant 500)
Close
)
)]
5
(Pay
(Role "escrow")
(Party (Role "buyer"))
(Token "" "")
(Constant 500)
Close
)
)]
5 Close
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment