Soundness communication steps.

c2484f13 · Andrew Hirsch · 3e6274d4 · c2484f13 · c2484f13
Commit c2484f13 authored Jun 19, 2021 by Andrew Hirsch
--- a/ChoreographyCompiler.v
+++ b/ChoreographyCompiler.v
--- a/ConcurrentLambda.v
+++ b/ConcurrentLambda.v