readme: more accurate pseudo code for reactor interface

Co-authored-by: Daniel Gustafsson <[email protected]>
platonic-io · Mar 15, 2021 · e7f024b · e7f024b
1 parent 3eddfe7
commit e7f024b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -165,7 +165,7 @@ section is about.
 
 ```
   interface Networking {
-    react : {incoming : Message, from : Node, at : Time} -> Set {to : Node, outgoing : Message}
+    react : {incoming : Message, from : Node, at : Time} -> Set {to : NonEmptySet {Node}, outgoing : Message}
   }
 ```