Lars Brünjes brunjlar

## openpgp.txt
This Gist confirms the Linked Identity in my OpenPGP key, and links it to this GitHub account.

Token for proof:
[Verifying my OpenPGP key: openpgp4fpr:beb624a3b76bc0dde10eac8485ae60a7052bebc6]

## keybase.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                brunjlar
                / keybase.md
            
            
              Created
              July 24, 2018 16:39
            
          
    Keybase proof

I hereby claim:

I am brunjlar on github.
I am brunjlar (https://keybase.io/brunjlar) on keybase.
I have a public key ASCBqKU1FZOFumM7QMvZhy8yzSz6fgvIbKRweddXjqlTvQo

To claim this, I am signing this object:

  
## Playground.hs
{-# LANGUAGE DataKinds           #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TemplateHaskell     #-}

{-# OPTIONS_GHC -fno-warn-missing-signatures #-}

module Plutus.Token where

import qualified Data.Text                  as Text
import qualified Language.PlutusTx          as PlutusTx

## Main.hs
{-# LANGUAGE OverloadedStrings #-}
module Example where

import           Language.Marlowe

main :: IO ()
main = print . pretty $ contract "Alice" "Bob" "Charlie" 100

{- Define a contract, Close is the simplest contract which just ends the contract straight away
-}

## blockly.xml
<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="o/40`|$#E-/d0v/52n(M"><field name="timeout">1</field><statement name="case"><block type="NotifyActionType" id="5O}g]/=.8,pJ}:zXMcYH"><value name="observation"><block type="TrueObservationType" id="P80XrlCQE5dAn|w+pmJ@"/></value><statement name="contract"><block type="CloseContractType" id="6M9;(~{FXu(Nx(KsURa$"/></statement></block></statement><statement name="contract"><block type="CloseContractType" id="VyY#ll(SuhtcaO|-`xDa"/></statement></block></statement></block></xml>

## Main.hs
{-# 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

## Main.hs
{-# 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

## Main.hs
{-# 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

## Main.hs
{-# 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

## Main.hs
{-# 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
	This Gist confirms the Linked Identity in my OpenPGP key, and links it to this GitHub account.

	Token for proof:
	[Verifying my OpenPGP key: openpgp4fpr:beb624a3b76bc0dde10eac8485ae60a7052bebc6]
	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE ScopedTypeVariables #-}
	{-# LANGUAGE TemplateHaskell #-}

	{-# OPTIONS_GHC -fno-warn-missing-signatures #-}

	module Plutus.Token where

	import qualified Data.Text as Text
	import qualified Language.PlutusTx as PlutusTx
	{-# LANGUAGE OverloadedStrings #-}
	module Example where

	import Language.Marlowe

	main :: IO ()
	main = print . pretty $ contract "Alice" "Bob" "Charlie" 100

	{- Define a contract, Close is the simplest contract which just ends the contract straight away
	-}