diff options
| -rw-r--r-- | Changelog.md | 2 |
1 files changed, 1 insertions, 1 deletions
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; |