AMANHÃ vamos realizar um Space sobre Choreo e você está oficialmente convidado! Junte-se a @bugarela e @buchmanster para uma sessão de perguntas e respostas sobre Choreo, nossa nova estrutura para tornar a escrita de especificações Quint para sistemas distribuídos uma experiência completa. Pronto para coreografar alguns protocolos?