diff options
Diffstat (limited to '')
| -rw-r--r-- | Changelog.md | 2 | ||||
| -rw-r--r-- | Gentle_introduction_Inpla.md | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/Changelog.md b/Changelog.md index a440cbe..4e559fc 100644 --- a/Changelog.md +++ b/Changelog.md @@ -2,7 +2,7 @@ ### v0.9.1 (released on 28 July 2022) #### New Features -* **A built-in agent** `Zip`: it takes two lists and returns a list whose elements are pairs of the given two lists such as: +* **A built-in agent** `Zip`: It takes two lists and returns a list whose elements are pairs of the given two lists elements such as: ``` Zip(r,[1,2,...])~[10,20,...] -->* r~[(1,10),(2,20),...]. ``` diff --git a/Gentle_introduction_Inpla.md b/Gentle_introduction_Inpla.md index 19ec3f1..7ff8e34 100644 --- a/Gentle_introduction_Inpla.md +++ b/Gentle_introduction_Inpla.md @@ -313,8 +313,8 @@ 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`: 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 elements such as: ``` Zip(r,[1,2,...])~[10,20,...] -->* r~[(1,10),(2,20),...]. ``` |