Skip to content

Instantly share code, notes, and snippets.

@ayo-dan

ayo-dan/metadata.json

Created June 18, 2023 00:17
Show Gist options
  • Save ayo-dan/a671c06184a3c8cc3199babdbd395c90 to your computer and use it in GitHub Desktop.
Save ayo-dan/a671c06184a3c8cc3199babdbd395c90 to your computer and use it in GitHub Desktop.
Download ZIP
Lending Protocol - INJXN
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 "Lender")
(Role "Lender")
(Token "" "")
(ConstantParam "Loan")
)
(When
[Case
(Deposit
?party
(Role "Borrower")
?token ?value
)
?contract]
(TimeParam "Collateral Deposit Timeout")
?contract
)]
(TimeParam "Loan Deposit Timeout")
Close
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment