Skip to content

Instantly share code, notes, and snippets.

View workshop-maybe's full-sized avatar

James Dunseith workshop-maybe

39 followers · 3 following
View GitHub Profile
@workshop-maybe
workshop-maybe / keybase.md
Created February 16, 2021 14:07

Keybase proof

I hereby claim:

  • I am workshop-maybe on github.
  • I am jamesdunseith (https://keybase.io/jamesdunseith) on keybase.
  • I have a public key ASAYxdw1xBD3XSfyU_g4SnIcDzKr3-BOCjZ30wB39FlZQwo

To claim this, I am signing this object:

@workshop-maybe
workshop-maybe / blockly.xml
Last active October 30, 2020 16:59
sk-002-if-vs-assert
<xml xmlns="https://developers.google.com/blockly/xml"><block type="BaseContractType" id="root_contract" deletable="false" x="10" y="30"><statement name="BaseContractType"><block type="WhenContractType" id="2KnDM7/hth~Dc6xTELmn"><field name="timeout">50</field><statement name="case"><block type="DepositActionType" id="sf0mWUFl#g6W:54{qWMt"><value name="from_party"><block type="RolePartyType" id="Z??822w;R8}5k$iK(n0r"><field name="role">friend1</field></block></value><value name="value"><block type="ConstantValueType" id="w3HPN_7FVXMDZPdDvCpX"><field name="constant">500</field></block></value><value name="token"><block type="AdaTokenType" id="Ren4sDV)ig/:;Xrky`M2"/></value><value name="party"><block type="RolePartyType" id="^~OF]QpwNNcb;{quE:^8"><field name="role">shared</field></block></value><statement name="contract"><block type="WhenContractType" id="3M6JTCQdN|_jXq7LD{e5"><field name="timeout">100</field><statement name="case"><block type="DepositActionType" id="b7B8npeV@Q:HgWFE}MzE"><value name="from_part
@workshop-maybe
workshop-maybe / blockly.xml
Last active October 30, 2020 16:37
sk-002-if-vs-assert
<xml xmlns="https://developers.google.com/blockly/xml"><block type="BaseContractType" id="root_contract" deletable="false" x="150" y="-50"><statement name="BaseContractType"><block type="WhenContractType" id=".12.hF^{Ps5wyhuNt~hs"><field name="timeout">50</field><statement name="case"><block type="DepositActionType" id="LhHcXjjvrH?A=/*AsJf,"><value name="from_party"><block type="RolePartyType" id="Jl-Ie%+9O@.*J|fr3|VR"><field name="role">friend1</field></block></value><value name="value"><block type="ConstantValueType" id="~;g[*xoMb2Lu#@PE:hT0"><field name="constant">500</field></block></value><value name="token"><block type="AdaTokenType" id="z2fb4[wHX.#n4G_~s/m~"/></value><value name="party"><block type="PKPartyType" id="5uu=STXmdw,shrTR`qC%"><field name="pubkey">somewallet</field></block></value><statement name="contract"><block type="WhenContractType" id="0RH@ZBz[DN}uT)5w=t55"><field name="timeout">100</field><statement name="case"><block type="DepositActionType" id="$r*_,?GTh0S2Za,9ZdHr"><value name="fro
@workshop-maybe
workshop-maybe / Main.hs
Last active October 30, 2020 12:33
csk-002-testing-assert-3
{-# LANGUAGE OverloadedStrings #-}
module Example where
import Language.Marlowe
main :: IO ()
main = print . pretty $ contract
{- Define a contract, Close is the simplest contract which just ends the contract straight away
@workshop-maybe
workshop-maybe / Main.hs
Created October 30, 2020 12:07
csk-002-testing-assert-3
{-# LANGUAGE OverloadedStrings #-}
module Example where
import Language.Marlowe
main :: IO ()
main = print . pretty $ contract
{- Define a contract, Close is the simplest contract which just ends the contract straight away
@workshop-maybe
workshop-maybe / Main.hs
Last active October 30, 2020 11:43
sk002_testing_assert_2
{-# LANGUAGE OverloadedStrings #-}
module Example where
import Language.Marlowe
main :: IO ()
main = print . pretty $ contract
{- Define a contract, Close is the simplest contract which just ends the contract straight away
@workshop-maybe
workshop-maybe / Main.hs
Last active October 30, 2020 11:11
SK002_testing_assert
{-# LANGUAGE OverloadedStrings #-}
module Example where
import Language.Marlowe
main :: IO ()
main = print . pretty $ contract
{- Define a contract, Close is the simplest contract which just ends the contract straight away