From 363306bc8d210e3abe06fad31a6e33f7f7c5da98 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Thu, 21 Jul 2022 14:51:27 +0900 Subject: v0.8.3-1 --- Changelog.md | 37 +++++++++++++++++++++++-------------- 1 file changed, 23 insertions(+), 14 deletions(-) (limited to 'Changelog.md') diff --git a/Changelog.md b/Changelog.md index d19faa5..c796a01 100644 --- a/Changelog.md +++ b/Changelog.md @@ -1,23 +1,32 @@ # Change log -### v0.8.3 (released on 19 July 2022) -#### New Features +### v0.8.3-1 minor update (released on 21 July 2022) +#### Polished +* **Built-in agent** `Dup`: it can duplicate attributes also immediately. For instance, with respect to `Cons(int, xs)`, it performs as follows: + ``` + Dup(a1,a2) >< (int i):xs => a1~i:w1, a2~i:w2, Dup(w1,w2)~xs; + ``` + -* **A built-in agent** `Dup`: it duplicates any nets gradually with the following rules: -![Eraser](pic/dup.png) -``` ->>> Dup(a1,a2) ~ [1,2,3]; -(7 interactions, 0.00 sec) ->>> ifce; -a1 a2 -Connections: -a1 ->[1,2,3] -a2 ->[1,2,3] +### v0.8.3 (released on 19 July 2022) +#### New Features ->>> -``` +* **Built-in agent** `Dup`: it duplicates any nets gradually with the following rules: +![Eraser](pic/dup.png) + ``` + >>> Dup(a1,a2) ~ [1,2,3]; + (7 interactions, 0.00 sec) + >>> ifce; + a1 a2 + + Connections: + a1 ->[1,2,3] + a2 ->[1,2,3] + + >>> + ``` ### v0.8.2-2 minor update (released on 30 May 2022) -- cgit v1.2.3