#Choral

a choreographic programming language Choral is a language for programming choreographies. A choreography is a multiparty protocol that defines how some roles (the proverbial Alice, Bob, etc.) should coordinate with each other to do something t