Skip to content
GitLab
Explore
Sign in
Spot
Spot
Issues
#572
simplify {[*]}[]->0 to 0
We should probably have a rule that turns
{[*]}[]->0
into
0
.