Skip to content

Instantly share code, notes, and snippets.

@hrajchert

hrajchert/metadata.json

Created May 9, 2023 13:33
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save hrajchert/ffd33f87e1c267c9a2f322837c182e96 to your computer and use it in GitHub Desktop.
Save hrajchert/ffd33f87e1c267c9a2f322837c182e96 to your computer and use it in GitHub Desktop.
Download ZIP
Apa3
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
[]
1683576850120 (Let "valueId" (Cond ?observation ?value ?value) (If ?observation ?contract1 ?contract2))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment