From abd0e738f2c928b37acab0d5145a226dc872af69 Mon Sep 17 00:00:00 2001
From: Shinya Sato <shinnya.sato@gmail.com>
Date: Thu, 28 Jul 2022 14:41:04 +0900
Subject: v0.9.1

---
 Gentle_introduction_Inpla.md | 44 ++++++++++++++++++++++++++++++++------------
 1 file changed, 32 insertions(+), 12 deletions(-)

(limited to 'Gentle_introduction_Inpla.md')

diff --git a/Gentle_introduction_Inpla.md b/Gentle_introduction_Inpla.md
index 60c1298..19ec3f1 100644
--- a/Gentle_introduction_Inpla.md
+++ b/Gentle_introduction_Inpla.md
@@ -252,7 +252,7 @@ Inpla has built-in agents:
 * `Nil`, `Cons(x,xs)`, written as  `[]` and `x:xs`, respectively. 
 * A nested `Cons` terminated with `Nil` are written as a list notation using brackets `[` and `]`.  For instance,  `x1 : x2: x3 : Nil`  is written as  `[x1,x2,x3]` .  
 
-#### Built-in rules for tuples and lists
+### Built-in rules for tuples and lists
 
 There are built-in rules for the same built-in agents that each element is matched and connected such that:
 
@@ -260,17 +260,6 @@ There are built-in rules for the same built-in agents that each element is match
 (x1,x2)><(y1,y2) => x1~y1, x2~y2 // This is already defined as a built-in rule.
 ```
 
-We also have a built-in agent `Append` to append two lists as shown in the following pseudo code:
-
-```
-Append(r, listB) ~ listA --> r ~ (listA ++ listB)  // pseudo code
-```
-The order `listB` and `listA` seems something strange, so a special abbreviation notation is prepared:
-```
-r << Append(listA, listB)   == for ==  Append(r, listB)~listA
-```
-
-
 * Examples of the built-in rules:
 
   ```
@@ -291,6 +280,20 @@ r << Append(listA, listB)   == for ==  Append(r, listB)~listA
   >>>
   ```
 
+#### Append a list to the end of another list
+We also have a built-in agent `Append` to append a list `listB` to the end of another list `listA` as shown in the following pseudo code:
+
+```
+Append(r, listB) ~ listA --> r ~ (listA ++ listB)  // pseudo code
+```
+The order `listB` and `listA` seems something strange, so a special abbreviation notation is prepared:
+```
+r << Append(listA, listB)   == for ==  Append(r, listB)~listA
+```
+
+
+
+
   ```
   >>> Append(r, [Z, S(Z)]) ~ [A,B,C];
   (4 interactions, 0.00 sec)
@@ -310,6 +313,23 @@ r << Append(listA, listB)   == for ==  Append(r, listB)~listA
   >>>
   ```
 
+#### `Zip`: it makes two lists into a list of pairs
+A built-in agent `Zip` takes two lists and returns a list whose elements are pairs of the given two lists such as:
+```
+Zip(r,[1,2,...])~[10,20,...] -->* r~[(1,10),(2,20),...].
+```
+The length of the result will be the same to the shorter one in the given lists:
+```
+Zip(r,[1,2])~[10,20,30,...] -->* r~[(1,10),(2,20)].
+```
+We can write it with the abbreviation as well:
+```
+>>> r << Zip([1,2,3], [10,20,30]);
+(8 interactions, 0.00 sec)
+>>> r; free r;
+[(1,10),(2,20),(3,30)]
+>>>
+```
 
 
 ### Eraser
-- 
cgit v1.2.3