DAML

Write blockchain applications with DAML. A succinct, uniquely powerful contract modeling language built specifically for distributed ledgers that unambiguously codifies complex, real-life, multi-party agreements.