You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Would it be possible to have a wildcard that matches any number of symbols?
Right now I am doing this by matching any number of items and having a custom constraint that asserts all are of instance of the Symbol I care about.
This is useful when you have some operation that needs all of it's arguments to be replaced into reduced symbolic form and can only itself be replaced when they all have been.
The text was updated successfully, but these errors were encountered:
Would it be possible to have a wildcard that matches any number of symbols?
Right now I am doing this by matching any number of items and having a custom constraint that asserts all are of instance of the Symbol I care about.
This is useful when you have some operation that needs all of it's arguments to be replaced into reduced symbolic form and can only itself be replaced when they all have been.
The text was updated successfully, but these errors were encountered: