Skip to content

Instantly share code, notes, and snippets.

View mte14eha's full-sized avatar

Indie mte14eha

View GitHub Profile
@mte14eha
mte14eha / Playground.hs
Created February 24, 2021 20:50
Plutus Playground Smart Contract
-- Crowdfunding contract implemented using the [[Plutus]] interface.
-- This is the fully parallel version that collects all contributions
-- in a single transaction.
--
-- Note [Transactions in the crowdfunding campaign] explains the structure of
-- this contract on the blockchain.
import Control.Applicative (Applicative (pure))
import Control.Monad (void)
import Language.Plutus.Contract
@mte14eha
mte14eha / blockly.xml
Created March 10, 2021 18:50
New Project
Close
Close
@mte14eha
mte14eha / blockly.xml
Created March 10, 2021 19:34
reeeeeeee
Close
@mte14eha
mte14eha / blockly.xml
Created March 10, 2021 19:37
reeeeeeee
When
[Case
(Deposit
?party
(Role "role")
?token ?value
)
?contract]
1 ?contract
@mte14eha
mte14eha / blockly.xml
Created March 10, 2021 19:37
reeeeeeee
When
[Case
(Deposit
?party
(Role "role")
?token ?value
)
?contract]
1 ?contract
@mte14eha
mte14eha / blockly.xml
Created March 10, 2021 19:55
reeeeeeee
When
[Case
(Deposit
(Role "bank")
(Role "fan")
(Token "" "")
(Constant 1)
)
(Assert
?observation
When
[Case
(Deposit
(Role "bank")
(Role "fan")
(Token "" "")
(ConstantParam "parameterName")
)
(When
[Case
@mte14eha
mte14eha / playground.marlowe
Created March 10, 2021 20:17
New Project123
When
[Case
(Deposit
(Role "party1")
(Role "fan")
(Token "" "")
(ConstantParam "donation")
)
(When
[Case