martifenosa · August 19, 2021 10:27
diff --git a/metadata.json b/metadata.json
 {"valueParameterDescriptions":[],"slotParameterDescriptions":[],"roleDescriptions":[],"contractType":"O","contractName":"","contractDescription":"","choiceDescriptions":[]}
diff --git a/playground.js b/playground.js

    

    return Close;
diff --git a/playground.marlowe.json b/playground.marlowe.json
 {}