I hereby claim:
- I am bwbush on github.
- I am bwbush (https://keybase.io/bwbush) on keybase.
- I have a public key whose fingerprint is D8A4 7E20 1EC5 BF28 A3F2 3193 4C37 75D6 866A 0B54
To claim this, I am signing this object:
Brian W Bush bwbush
bwbush
/ keybase.md
Last active
April 20, 2019 02:40
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <xml xmlns="https://developers.google.com/blockly/xml"><block type="BaseContractType" id="root_contract" deletable="false" x="13" y="187"><statement name="BaseContractType"><block type="WhenContractType" id="1$^G-OM+X4CanW*|DYCy"><field name="timeout">10</field><statement name="case"><block type="DepositActionType" id="euJ@CL!I+}FI#_XZ+l@M"><value name="from_party"><block type="RolePartyType" id="NgyPP@kP;niOIVce:Zc#"><field name="role">donor</field></block></value><value name="value"><block type="ConstantValueType" id="#1b#CAIVfD!,0:;h%:9p"><field name="constant">1000</field></block></value><value name="token"><block type="AdaTokenType" id="PBo!tksEMb{cQSfcRMv1"/></value><value name="party"><block type="RolePartyType" id="SG?YM{^2{m]F/l,jpJ3="><field name="role">recipient</field></block></value><statement name="contract"><block type="PayContractType" id="G:PK|RMy_Mw4g.7Q#B8@"><value name="payee"><block type="PartyPayeeType" id="`E5z:`c;N!7,]uRsj%`X"><value name="party"><block type="RolePartyType" id="!Hbkm`- |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -- This is a starter contract, based on the Game contract, | |
| -- containing the bare minimum required scaffolding. | |
| -- | |
| -- What you should change to something more suitable for | |
| -- your use case: | |
| -- * The DataScript type | |
| -- * The Redeemer type | |
| -- | |
| -- And add function implementations (and rename them to |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <xml xmlns="https://developers.google.com/blockly/xml"><block type="BaseContractType" id="root_contract" deletable="false" x="13" y="187"><statement name="BaseContractType"><block type="PaymentAtMaturity" id="{=}_ITjLvl4@`q(3yb.1"><value name="start_date"><block type="ActusDate" id="HP|!CTeJ5^81UiX~}:%]"><field name="yyyy">2020</field><field name="mm">1</field><field name="dd">1</field></block></value><value name="maturity_date"><block type="ActusDate" id="sRa@%r-g[$FoEiXaD4{F"><field name="yyyy">2040</field><field name="mm">1</field><field name="dd">1</field></block></value><value name="notional"><block type="ActusDecimalType" id="][{za^q3]:v{^(!Nre.G"><field name="value">1000</field></block></value></block></statement></block></xml> |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <xml xmlns="https://developers.google.com/blockly/xml"><block type="BaseContractType" id="root_contract" deletable="false" x="13" y="187"><statement name="BaseContractType"><block type="PaymentAtMaturity" id="{=}_ITjLvl4@`q(3yb.1"><value name="start_date"><block type="ActusDate" id="HP|!CTeJ5^81UiX~}:%]"><field name="yyyy">2020</field><field name="mm">1</field><field name="dd">1</field></block></value><value name="maturity_date"><block type="ActusDate" id="sRa@%r-g[$FoEiXaD4{F"><field name="yyyy">2040</field><field name="mm">1</field><field name="dd">1</field></block></value><value name="notional"><block type="ActusDecimalType" id="][{za^q3]:v{^(!Nre.G"><field name="value">1000</field></block></value></block></statement></block></xml> |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <xml xmlns="https://developers.google.com/blockly/xml"><block type="BaseContractType" id="root_contract" deletable="false" x="13" y="187"><statement name="BaseContractType"><block type="PaymentAtMaturity" id="{=}_ITjLvl4@`q(3yb.1"><value name="start_date"><block type="ActusDate" id="HP|!CTeJ5^81UiX~}:%]"><field name="yyyy">2020</field><field name="mm">1</field><field name="dd">1</field></block></value><value name="maturity_date"><block type="ActusDate" id="sRa@%r-g[$FoEiXaD4{F"><field name="yyyy">2040</field><field name="mm">1</field><field name="dd">1</field></block></value><value name="notional"><block type="ActusDecimalType" id="][{za^q3]:v{^(!Nre.G"><field name="value">1000</field></block></value></block></statement></block></xml> |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| When | |
| [Case | |
| (Deposit | |
| (Role "BOBS POOL") | |
| (Role "BOBS POOL") | |
| (Token "2aa9c1557fcf8e7caa049fa0911a8724a1cdaf8037fe0b431c6ac664" "PIGY") | |
| (ConstantParam "reward") | |
| ) | |
| (When | |
| [Case |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| When | |
| [Case | |
| (Deposit | |
| (Role "BOBS POOL") | |
| (Role "BOBS POOL") | |
| (Token "2aa9c1557fcf8e7caa049fa0911a8724a1cdaf8037fe0b431c6ac664" "PIGY") | |
| (ConstantParam "reward") | |
| ) | |
| (When | |
| [Case |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| --------------------------------------------------------------- | |
| -- | |
| -- Module : Main | |
| -- Copyright : (c) 2021 Brian W Bush | |
| -- License : MIT | |
| -- | |
| -- Maintainer : Brian W Bush <code@functionally.io> | |
| -- Stability : Stable | |
| -- Portability : Portable | |
| -- |
bwbush
/ first-marlowe-on-pab.md
Last active
January 12, 2022 03:35
OlderNewer