diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-12-20 21:25:10 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-12-20 21:25:10 +0900 |
| commit | 15d42ed7f963d47dc1d6de91ce8768c032d9a45f (patch) | |
| tree | cc17d0854e072c167033f1ab0942b0071da3fa4d | |
| parent | ba9c7de689d40548740047826b13df61d6a10d3b (diff) | |
| parent | f9d572c04178d5496123ce68e3f9a65c09629f24 (diff) | |
| download | inpla-15d42ed7f963d47dc1d6de91ce8768c032d9a45f.tar.gz inpla-15d42ed7f963d47dc1d6de91ce8768c032d9a45f.zip | |
Merge branch 'develop'
| -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**: |