Marlowe paper’s been published.
It’s a DSL (domain-specific language) as opposed to a general-purpose language. This makes it more predictable and more accessible to users. Marlowe is targeted at executing financial contracts.
The Meadow tool is also presented in the paper, which makes in-browser interaction and simulation possible.