From a863c9a66eff6949f883da8e8bf927237b6e71ee Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sat, 30 Jul 2022 20:43:45 +0900 Subject: v0.9.2 --- Changelog.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Changelog.md b/Changelog.md index 834f565..9985118 100644 --- a/Changelog.md +++ b/Changelog.md @@ -3,7 +3,7 @@ ### v0.9.2 (released on 30 July 2022) #### New Features * **A built-in agent** `Map`: Map function operation is realised by the following definition: -e + ``` Map(result, f) >< [] => result~[], Eraser~f; Map(result, f) >< x:xs => Dup(f1,f2)~f, -- cgit v1.2.3