diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-11-19 10:36:32 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-11-19 10:36:32 +0900 |
| commit | 5212d7de34d4cf97a85cdc299c3c479b925f87d6 (patch) | |
| tree | a375d4675d9b96fd217d5635b94f0a410e985957 /Changelog.md | |
| parent | 4bf7e08b5c77c3b69af8a1c742d549470b2baff7 (diff) | |
| download | inpla-5212d7de34d4cf97a85cdc299c3c479b925f87d6.tar.gz inpla-5212d7de34d4cf97a85cdc299c3c479b925f87d6.zip | |
Update Changelog.md
Diffstat (limited to '')
| -rw-r--r-- | Changelog.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Changelog.md b/Changelog.md index 837574d..b9ca11b 100644 --- a/Changelog.md +++ b/Changelog.md @@ -2,7 +2,8 @@ ### v0.5.4 (released on 18 November 2021) #### Bug Fix (minor): -- A name `x` which occurs as a sub-term will be replaced with a term `s` when there is a connection between `x~s` before all of evaluations, as one of optimisations. It was done only if the `x` occurs not as a sub-term. + +- 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. ### v0.5.3 (released on 14 November 2021) #### New Features (for constants): |