Fixed and completed soundness for communication.

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