Skip to content

Instantly share code, notes, and snippets.

@juanemael
Last active January 9, 2023 13:18
Show Gist options
  • Save juanemael/0d0d14347a6ccce75277fc5729decba2 to your computer and use it in GitHub Desktop.
Save juanemael/0d0d14347a6ccce75277fc5729decba2 to your computer and use it in GitHub Desktop.
Marlowe Meet 1 - 3
{"valueParameterInfo":[],"timeParameterDescriptions":[],"roleDescriptions":[],"contractType":"Other","contractShortDescription":"Unknown","contractName":"Unknown","contractLongDescription":"We couldn't find information about this contract","choiceInfo":[]}
Let
"hargabarang"
(ConstantParam "inputhargabarang")
(Let
"nilaipenawaran"
(ConstantParam "inputnilaipenawaran")
(If
(ValueGT
(ConstantParam "inputnilaipenawaran")
(ConstantParam "inputhargabarang")
)
(When
[Case
(Deposit
(Role "buyer")
(Role "buyer")
(Token "" "")
(ConstantParam "inputnilaipenawaran")
)
(Pay
(Role "buyer")
(Account (Role "seller"))
(Token "" "")
(ConstantParam "inputnilaipenawaran")
Close
)]
1673273340000 Close
)
Close
)
)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment