From cda7d615c9e43d32b6f43dd2de9490367c77e343 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Fri, 19 Apr 2024 20:59:03 +0900 Subject: Update Changelog.md --- Changelog.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Changelog.md') diff --git a/Changelog.md b/Changelog.md index 9f15d44..513a249 100644 --- a/Changelog.md +++ b/Changelog.md @@ -9,7 +9,7 @@ >>> alpha(x)~x, main~x; ``` - Of course, it should be rejected, but it can be accepted because `x` is substituted and it becomes `main~alpha(x)`: + Of course, it should be rejected, but it can be accepted because `x` is substituted and it becomes `main~alpha(x)`, even though it is not what the user wants: ``` >>> ifce; -- cgit v1.2.3