Here we present a reference implementation of Marlowe, domain-specific language targeted at the execution of financial contracts in the style of Peyton Jones et al on Cardano Computation Layer.

The implementation is based on semantics described in paper 'Marlowe: financial contracts on blockchain' by Simon Thompson and Pablo Lamela Seijas