DAML is an open-source programming language for writing distributed applications quickly, concisely, and correctly.