diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-12-20 21:24:17 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-12-20 21:24:17 +0900 |
| commit | f9d572c04178d5496123ce68e3f9a65c09629f24 (patch) | |
| tree | cc17d0854e072c167033f1ab0942b0071da3fa4d /README.md | |
| parent | 2223f4296a7f387532cb1cc2be28c034feebc0fa (diff) | |
| download | inpla-f9d572c04178d5496123ce68e3f9a65c09629f24.tar.gz inpla-f9d572c04178d5496123ce68e3f9a65c09629f24.zip | |
Update README.md
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 10 |
1 files changed, 6 insertions, 4 deletions
@@ -41,7 +41,9 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri * [Introduction to Programming in Inpla](#introduction-to-programming-in-inpla) * [Commands](#commands) * [Updates](#updates) - +* [Publications](#publications) +* [Related Works](#related-works) +* [License](#license) ## Getting Started @@ -272,9 +274,9 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri # Introduction to Programming in Inpla -#### Contents +#### Contents in this section * [Nets: terms and connections](#nets-terms-and-connections) -* [Interaction rules](#interaction-rules) +* [Interaction rules: rewriting rules for nets](#interaction-rules-rewriting-rules-for-nets) - [Example: Operations on unary natural numbers](#example-operations-on-unary-natural-numbers) * [Built-in Agents](#built-in-agents) * [Attributes (integers)](#attributes-integers) @@ -383,7 +385,7 @@ Just in case for other examples, let the `y` disposed: -## Interaction rules +## Interaction rules: rewriting rules for nets Connections between agents are re-written according to **interaction rules**: |