diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-07-28 14:55:15 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-07-28 14:55:15 +0900 |
| commit | aa938c1a2e0bae4197bb2944049b09d7e3200bc0 (patch) | |
| tree | 296a7fb37330fffabbaf9b6ed673248c409761f2 /Gentle_introduction_Inpla.md | |
| parent | 2db5c6dff3a6d4fcb8d36e3dd4768a0ecd98c06e (diff) | |
| download | inpla-aa938c1a2e0bae4197bb2944049b09d7e3200bc0.tar.gz inpla-aa938c1a2e0bae4197bb2944049b09d7e3200bc0.zip | |
v0.9.1
Diffstat (limited to 'Gentle_introduction_Inpla.md')
| -rw-r--r-- | Gentle_introduction_Inpla.md | 6 |
1 files changed, 5 insertions, 1 deletions
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),...]. ``` |