diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-12-21 01:02:17 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-12-21 01:02:17 +0900 |
| commit | 7663449bb9fc1f1f3967bbc2560fc94f1e19edba (patch) | |
| tree | d6f61ad8216de419b0c4be1eabb0a2548dc3ba2d | |
| parent | 206e651fc95c4c9d0590a93fcb87e5375a6c486b (diff) | |
| download | inpla-7663449bb9fc1f1f3967bbc2560fc94f1e19edba.tar.gz inpla-7663449bb9fc1f1f3967bbc2560fc94f1e19edba.zip | |
Update README.md
| -rw-r--r-- | README.md | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -650,10 +650,12 @@ In interaction rules, attributes are recognised by a modifier `int` in order to ``` -- Example: Duplicator of integer lists. We note that, at the first line of the below example, the rule is allowed to have more than twice occurrences of *i* (here, it is three times) because the *i* is a variable for attributes: +- Example: Duplicator of integer lists. -  + We note that, at the first line of the below example, the rule is allowed to have not twice occurrences of *i* (here, it is three times) because the *i* is a variable for attributes: +  + ``` >>> dup(a1,a2) >< (int i):xs => a1~(i:xs1), a2~(i:xs2), dup(xs1,xs2)~xs; @@ -665,7 +667,7 @@ In interaction rules, attributes are recognised by a modifier `int` in order to >>> free a b; >>> ``` - + **We have to be careful for operations of two attributes on distinct agents**. For instance, we take the following rule of an `add` agent: |