From 81db50a06474c014afd182b0e6456340df3db29b Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Wed, 1 Dec 2021 15:29:57 +0900 Subject: Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index d233ad6..db297e6 100644 --- a/README.md +++ b/README.md @@ -87,7 +87,7 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri >>> ``` - These are useful to join safely two computational results on two agents in multi-threaded execution regardless of finished status of the two agents, because there rules are written so that the arithmetic operation is invoked after ensuring that every argument modified by `int` has an attribute value as follows: + These are useful to join safely two computational results on two agents in multi-threaded execution regardless of finished status of the two agents, because there rules are written so that the arithmetic operation can be invoked after ensuring that every argument modified by `int` has an attribute value as follows: ``` Add(ret, b) >< (int a) => _Add(ret, a)~b; -- cgit v1.2.3