Implement integer simplification rules #3
Labels
No Label
aesthetic
bug
discussion
documentation
duplicate
enhancement
good first issue
help wanted
invalid
question
suggestion
task
wontfix
No Milestone
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: patrick/anthem#3
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
After detecting integer variables in #2, advanced rules specific to integers can be implemented.
These include the following rewrite rules:
(X in I) === (X = I)
Example 1
should become
Example 2
should become