diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2023-04-04 23:22:41 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2023-04-04 23:22:41 +0900 |
| commit | 20b4adbdb3e4f89a1891b992c8a7a802f08d8e67 (patch) | |
| tree | 26ba2b34f60218088aede4450e46e5be036a54b3 /Gentle_introduction_Inpla.md | |
| parent | 0cad21fc9cc56191b179e8976651c24562be2433 (diff) | |
| download | inpla-20b4adbdb3e4f89a1891b992c8a7a802f08d8e67.tar.gz inpla-20b4adbdb3e4f89a1891b992c8a7a802f08d8e67.zip | |
Update Gentle_introduction_Inpla.md
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 3e4d21a..7d1ea8b 100644 --- a/Gentle_introduction_Inpla.md +++ b/Gentle_introduction_Inpla.md @@ -157,7 +157,7 @@ inc(r) >< S(x) => r~S(S(x)); Let's check the rule proviso. In the first rule, the name `r` occurs twice, so it satisfies the proviso. The second rule is also OK because the `r` and `x` are distinct and occur twice in the rule. -Since agents can work as both constructors and de-constructors, we should use capitalized strings such as `Z`, `S` and `Tree` for constructors, and lowercases for de-constructors such as `inc`. +Since agents can work as both constructors and de-constructors, we should use capitalised strings such as `Z`, `S` and `Tree` for constructors, and lowercases for de-constructors such as `inc`. Let's take the result of the increment operation for `S(S(Z))`: |