aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorShinya Sato <shinnya.sato@gmail.com>2021-12-21 00:57:43 +0900
committerShinya Sato <shinnya.sato@gmail.com>2021-12-21 00:57:43 +0900
commit60e15d444b0ada3dfaf7bf2e5bfe969396bcc236 (patch)
tree530a5a9ae02e3032a0af30ea2d8b974557bca3f0
parentae9d25bcccdc220534b86e5092532541299f99f0 (diff)
downloadinpla-60e15d444b0ada3dfaf7bf2e5bfe969396bcc236.tar.gz
inpla-60e15d444b0ada3dfaf7bf2e5bfe969396bcc236.zip
Update README.md
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index 1bdd814..fece4fe 100644
--- a/README.md
+++ b/README.md
@@ -650,7 +650,7 @@ In interaction rules, attributes are recognised by a modifier `int` in order to
```
-- Example: Duplicator of integer lists. We note that, in the rule of the first line in the below example, the twice occurrences of *i* in the right-hand side is allowed 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 more than twice (here, it is three times) occurrences of *i* because the *i* is a variable for attributes:
![dup_list](pic/dup_list.png)