diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2023-05-11 18:25:00 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-11 18:25:00 +0900 |
| commit | 28208263a3f8d6ababb285f1df34df98c2d5d4a0 (patch) | |
| tree | a4d1de1aa592bd4a8926d7260c170a8c98fb1b4c /Gentle_introduction_Inpla.md | |
| parent | 3b09d93f20ae7f912be573d9c22e71199663e20d (diff) | |
| parent | 3c47c804db616ad9f3d7e6b8cbe34aecbe8e1a40 (diff) | |
| download | inpla-28208263a3f8d6ababb285f1df34df98c2d5d4a0.tar.gz inpla-28208263a3f8d6ababb285f1df34df98c2d5d4a0.zip | |
Merge pull request #3 from hexpunk/patch-1
Update Gentle_introduction_Inpla.md
Diffstat (limited to '')
| -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 7d1ea8b..7f60942 100644 --- a/Gentle_introduction_Inpla.md +++ b/Gentle_introduction_Inpla.md @@ -85,7 +85,7 @@ A **connection** is a relation between two terms, that means the two term are co ``` -* **Connections between names** are evaluated as that ports corresponding to these names are connected mutually in interaction nets frameworks. However, in Inpla, these are evaluated as that, for the connections, the left-hand side name connects to the right-hand side name, thus only one way. For instance, `x~y` is evaluated that the `x` connects to the `x` (not that the `y` connects to `x`): +* **Connections between names** are evaluated as that ports corresponding to these names are connected mutually in interaction nets frameworks. However, in Inpla, these are evaluated as that, for the connections, the left-hand side name connects to the right-hand side name, thus only one way. For instance, `x~y` is evaluated that the `x` connects to the `y` (not that the `y` connects to `x`): ``` >>> x~y; |
