Skip to content

Instantly share code, notes, and snippets.

View specpro30's full-sized avatar

specpro30

View GitHub Profile
@specpro30
specpro30 / blockly.xml
Created April 2, 2021 05:24
Bet3
When
[Case
(Deposit
(PK "ourbet")
(Role "player1")
(Token "" "")
(Constant 15)
)
(When
[Case
@specpro30
specpro30 / blockly.xml
Created April 2, 2021 05:03
Bet2
Close
@specpro30
specpro30 / blockly.xml
Created April 2, 2021 04:51
Bet
When
[Case
(Deposit
(PK "ourbet")
(Role "player1")
(Token "" "")
(Constant 15)
)
(When
[Case
@specpro30
specpro30 / blockly.xml
Created April 2, 2021 04:51
New Project
When
[Case
(Deposit
(PK "ourbet")
(Role "player1")
(Token "" "")
(Constant 15)
)
(When
[Case
@specpro30
specpro30 / metadata.json
Created April 2, 2021 04:27
New Project
{"valueParameterDescriptions":[],"slotParameterDescriptions":[],"roleDescriptions":[],"contractType":"O","contractName":"","contractDescription":"","choiceDescriptions":[]}
@specpro30
specpro30 / blockly.xml
Created March 28, 2021 08:44
Appointment
When
[Case
(Deposit
(Role "Client")
(Role "Client")
(Token "" "")
(Constant 50)
)
(When
[Case
@specpro30
specpro30 / blockly.xml
Created March 28, 2021 08:43
New Project
When
[Case
(Deposit
(Role "Client")
(Role "Client")
(Token "" "")
(Constant 50)
)
(When
[Case
@specpro30
specpro30 / pool_Metadata.json
Last active December 18, 2020 09:11
{
"name": "TestPool",
"description": "The pool that tests",
"ticker": "GRGS8",
"homepage": "https://git.io/JL44m"
}