Commit 2023-06-14 12:28 282f8074
View on Github →chore: rename library_search/propose/rewrites to apply?/have?/rw? (#4885)
Also adds exact? which is like apply? but fails if it can't close the goal.
chore: rename library_search/propose/rewrites to apply?/have?/rw? (#4885)
Also adds exact? which is like apply? but fails if it can't close the goal.