Skip to content

Instantly share code, notes, and snippets.

@besiwims

besiwims/metadata.json

Last active July 10, 2022 23:24
Show Gist options
  • Save besiwims/fcc32506c10bbb309c152cd8963a697a to your computer and use it in GitHub Desktop.
Save besiwims/fcc32506c10bbb309c152cd8963a697a to your computer and use it in GitHub Desktop.
Download ZIP
sk001-marlowe-badbet - gimbalabs university
Raw
metadata.json
{"valueParameterInfo":[],"timeParameterDescriptions":[],"roleDescriptions":[],"contractType":"Other","contractShortDescription":"Unknown","contractName":"Unknown","contractLongDescription":"We couldn't find information about this contract","choiceInfo":[]}
Raw
playground.marlowe
When[(Case
(Deposit
(Role "Seller")
(Role "Buyer")
(Token "" "")
(ConstantParam "Price"))
(When [
(Case
(Choice
(ChoiceId "Everything is alright"
(Role "Buyer")) [
(Bound 0 0)]) Close)
,
(Case
(Choice
(ChoiceId "Report problem"
(Role "Buyer")) [
(Bound 1 1)])
(Pay
(Role "Seller")
(Account
(Role "Buyer"))
(Token "" "")
(ConstantParam "Price")
(When [
(Case
(Choice
(ChoiceId "Confirm problem"
(Role "Seller")) [
(Bound 1 1)]) Close)
,
(Case
(Choice
(ChoiceId "Dispute problem"
(Role "Seller")) [
(Bound 0 0)])
(When [
(Case
(Choice
(ChoiceId "Dismiss claim"
(Role "Mediator")) [
(Bound 0 0)])
(Pay
(Role "Buyer")
(Party
(Role "Seller"))
(Token "" "")
(ConstantParam "Price") Close))
,
(Case
(Choice
(ChoiceId "Confirm problem"
(Role "Mediator")) [
(Bound 1 1)]) Close)] (TimeParam "Mediation deadline") Close))] (TimeParam "Complaint response deadline") Close)))] (TimeParam "Complaint deadline") Close))] (TimeParam "Payment deadline") Close
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment