Choral: Object-oriented Choreographic Programming#250

Open

github-actions[bot] wants to merge 1 commit intomainfrom paper-vote-1

+11-8

Commits on Feb 5, 2025

[create-pull-request] automated change

nkrusch
authored and
github-actions[bot]
committed