aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorShinya Sato <shinnya.sato@gmail.com>2021-12-21 00:59:17 +0900
committerShinya Sato <shinnya.sato@gmail.com>2021-12-21 00:59:17 +0900
commit206e651fc95c4c9d0590a93fcb87e5375a6c486b (patch)
tree419a927b546b247c7300bd5291094ccaa011eaa8
parent60e15d444b0ada3dfaf7bf2e5bfe969396bcc236 (diff)
downloadinpla-206e651fc95c4c9d0590a93fcb87e5375a6c486b.tar.gz
inpla-206e651fc95c4c9d0590a93fcb87e5375a6c486b.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 fece4fe..a06f1b8 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, 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:
+- 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:
![dup_list](pic/dup_list.png)