diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-07-28 14:56:54 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-07-28 14:56:54 +0900 |
| commit | d0dcc63979c04e5c0fac4e776b87298ca3d8678a (patch) | |
| tree | fc2fb3fb58705ad0d5543095c1833f8b220c71cc /Gentle_introduction_Inpla.md | |
| parent | aa938c1a2e0bae4197bb2944049b09d7e3200bc0 (diff) | |
| download | inpla-d0dcc63979c04e5c0fac4e776b87298ca3d8678a.tar.gz inpla-d0dcc63979c04e5c0fac4e776b87298ca3d8678a.zip | |
v0.9.1
Diffstat (limited to 'Gentle_introduction_Inpla.md')
| -rw-r--r-- | Gentle_introduction_Inpla.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Gentle_introduction_Inpla.md b/Gentle_introduction_Inpla.md index 57adee3..0903a6f 100644 --- a/Gentle_introduction_Inpla.md +++ b/Gentle_introduction_Inpla.md @@ -3,7 +3,7 @@ * [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-<<) + - [Abbreviation notation `<<`](#abbreviation-notation-) * [Built-in Agents](#built-in-agents) - [Tuples](#tuples) - [Lists](#lists) |