Marlowe Smart Contract

Marlowe.hs

{-# LANGUAGE OverloadedStrings #-}
module Swap where

import           Language.Marlowe

main :: IO ()
main = print . pretty $ contract

{- Simply swap two payments between parties -}
contract :: Contract
contract =
    When aliceChoice
         (When bobChoice
               (If (aliceChosen `ValueEQ` bobChosen)
                   agreement
                   arbitrate))