From baae2edd556836fdcc8f2b95941e693b99598249 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Tue, 21 Dec 2021 11:05:19 +0900 Subject: Update README.md --- README.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index 39f481b..757d1d0 100644 --- a/README.md +++ b/README.md @@ -653,12 +653,11 @@ 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 not twice occurrences of *i* (here, it is three times) because the *i* is a variable for attributes: ![dup_list](pic/dup_list.png) - + We note that, in the first line from the top of the following execution example, there is a rule allowed to have not twice occurrences of *i* (here, it is three times, that is, once in left-hand side, and twice in the right-hand side). This is because the *i* is a variable for attributes. + ``` >>> dup(a1,a2) >< (int i):xs => a1~(i:xs1), a2~(i:xs2), dup(xs1,xs2)~xs; >>> dup(a1,a2) >< [] => a1~[], a2~[]; -- cgit v1.2.3