Skip to content

Instantly share code, notes, and snippets.

@johnshearing

johnshearing/HomeWorkLesson03.txt

Last active June 8, 2022 21:02
Show Gist options
  • Save johnshearing/f1acf65ee11ef86342757f0cd1fe6ef6 to your computer and use it in GitHub Desktop.
Save johnshearing/f1acf65ee11ef86342757f0cd1fe6ef6 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
HomeWorkLesson03.txt
If
(ValueLE
(ConstantParam "DepositAmount")
(Constant 0)
)
Close
(Let
"Amount"
(ConstantParam "DepositAmount")
(When
[Case
(Deposit
(Role "Giver1")
(Role "Giver1")
(Token "" "")
(UseValue "Amount")
)
(When
[Case
(Deposit
(Role "Giver2")
(Role "Giver2")
(Token "" "")
(UseValue "Amount")
)
(Pay
(Role "Giver1")
(Party (Role "Receiver1"))
(Token "" "")
(UseValue "Amount")
(Pay
(Role "Giver2")
(Party (Role "Receiver1"))
(Token "" "")
(UseValue "Amount")
Close
)
)]
(TimeParam "DepositDeadline2")
Close
), Case
(Deposit
(Role "Giver2")
(Role "Giver2")
(Token "" "")
(UseValue "Amount")
)
(When
[Case
(Deposit
(Role "Giver1")
(Role "Giver1")
(Token "" "")
(UseValue "Amount")
)
(Pay
(Role "Giver1")
(Party (Role "Receiver1"))
(Token "" "")
(UseValue "Amount")
(Pay
(Role "Giver2")
(Party (Role "Receiver1"))
(Token "" "")
(UseValue "Amount")
Close
)
)]
(TimeParam "DepositDeadline2")
Close
)]
(TimeParam "DepositDeadline1")
Close
)
)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment