From abd0e738f2c928b37acab0d5145a226dc872af69 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Thu, 28 Jul 2022 14:41:04 +0900 Subject: v0.9.1 --- Changelog.md | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) (limited to 'Changelog.md') diff --git a/Changelog.md b/Changelog.md index db1a565..a440cbe 100644 --- a/Changelog.md +++ b/Changelog.md @@ -1,4 +1,24 @@ # Change log + +### 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: + ``` + 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)] + >>> + ``` + ### v0.9.0 (released on 25 July 2022) #### New Features -- cgit v1.2.3 From 2db5c6dff3a6d4fcb8d36e3dd4768a0ecd98c06e Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Thu, 28 Jul 2022 14:47:24 +0900 Subject: v0.9.1 --- Changelog.md | 2 +- Gentle_introduction_Inpla.md | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) (limited to 'Changelog.md') 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),...]. ``` -- cgit v1.2.3 From aa938c1a2e0bae4197bb2944049b09d7e3200bc0 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Thu, 28 Jul 2022 14:55:15 +0900 Subject: v0.9.1 --- Changelog.md | 2 +- Gentle_introduction_Inpla.md | 6 +++++- 2 files changed, 6 insertions(+), 2 deletions(-) (limited to 'Changelog.md') diff --git a/Changelog.md b/Changelog.md index 4e559fc..f6cc0dc 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 elements 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 that: ``` Zip(r,[1,2,...])~[10,20,...] -->* r~[(1,10),(2,20),...]. ``` diff --git a/Gentle_introduction_Inpla.md b/Gentle_introduction_Inpla.md index 7ff8e34..57adee3 100644 --- a/Gentle_introduction_Inpla.md +++ b/Gentle_introduction_Inpla.md @@ -3,7 +3,11 @@ * [Nets: terms and connections](#nets-terms-and-connections) * [Interaction rules: rewriting rules for nets](#interaction-rules-rewriting-rules-for-nets) - [Example: Operations on unary natural numbers](#example-operations-on-unary-natural-numbers) + - [Abbreviation notation `<<`](#abbreviation-notation-<<) * [Built-in Agents](#built-in-agents) + - [Tuples](#tuples) + - [Lists](#lists) + - [Built-in rules for tuples and lists](#built-in-rules-for-tuples-and-lists) * [Attributes (integers)](#attributes-integers) - [Built-in anonymous agent for attributes](#built-in-anonymous-agent-for-attributes) - [Arithmetic expressions on attributes](#arithmetic-expressions-on-attributes) @@ -314,7 +318,7 @@ 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 elements such as: +A built-in agent `Zip` takes two lists and returns a list whose elements are pairs of the given two lists elements such that: ``` Zip(r,[1,2,...])~[10,20,...] -->* r~[(1,10),(2,20),...]. ``` -- cgit v1.2.3