And now all together: an introduction to conjunction choices

This is a blog post I wrote with Robin Krom while we were both working on the Haskell-based smart contract language Daml at Digital Asset.

Direct Link