This repository contains Marlowe, a domain-specific language (DSL) for describing financial smart contracts that can be enforced by scripts deployed on a blockchain, as well as some tools for analysing and simulating the execution of contracts written in the DSL.
The Marlowe tutorials introduce Marlowe and the Marlowe Playground.
The master branch contains the latest version of Marlowe, version 3.0.
An earlier version of Marlowe is described in a paper that was presented at ISoLA 2018. This versin is tagged v1.3 and a minor update on this is taggedn v1.3.1.
Versions 1.x, and 2.0 can also be found in the master branch under semantics-1.0, and semantics-2.0, respectively.
Requirements: Homebrew, Haskell Stack 1.6 or later.
Install Haskell Stack if you haven't already
$ brew install haskell-stack
$ brew install glpk
$ stack setup
$ stack build
Requirements: Isabelle CLI
$ cd isabelle
$ isabelle build -d. Test