diff --git a/CHANGELOG.md b/CHANGELOG.md index ca13d9b..1d0afee 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,10 @@ ## (unreleased) +Features: + +* support for anonymous variables + Bug Fixes: * fixes incorrectly simplified rules with comparisons