diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-11-24 22:14:58 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-11-24 22:14:58 +0900 |
| commit | 87d702468eed923a69fa4f8265b2e4657c758b2d (patch) | |
| tree | aa78c03ee3c8d291da046ffe3d98e75f7e89b92a | |
| parent | 5ff9c1b987e6e61ec5aa543493c50372abfebfe3 (diff) | |
| parent | c7b6f67f6550556fc14f35284d4a97f90aff9822 (diff) | |
| download | inpla-87d702468eed923a69fa4f8265b2e4657c758b2d.tar.gz inpla-87d702468eed923a69fa4f8265b2e4657c758b2d.zip | |
Merge branch 'develop'
Diffstat (limited to '')
| -rw-r--r-- | Changelog.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Changelog.md b/Changelog.md index b9ca11b..6311cdd 100644 --- a/Changelog.md +++ b/Changelog.md @@ -3,7 +3,7 @@ ### v0.5.4 (released on 18 November 2021) #### Bug Fix (minor): -- When a connection `x~s` is given in nets or rules, the other occurrence of the name `x` will be replaced with the `s`, as one of optimisations. It was done when the other one occurred as just a name, that is, not a subterm. +- When a connection `x~s` is given in nets or rules, the other occurrence of the name `x` will be replaced with the `s`, as one of optimisations. It was done only when the other one occurred as just a name, that is, not a subterm. ### v0.5.3 (released on 14 November 2021) #### New Features (for constants): @@ -154,7 +154,7 @@ #### New Features: -- New notation for the built-in Cons agent, h:t. The built-in Cons agent is also written as h:t, besides [h|t]. For instance, a reverse list operation is written as follows: +- New notation for the built-in `Cons` agent, `h:t`. The built-in Cons agent is also written as `h:t`, besides `[h|t]`. For instance, a reverse list operation is written as follows: ``` Rev(ret, acc) >< [] => ret ~ acc; |