Closed j-maas closed 6 years ago
The docs for custom mention an external package as the definition source for the shrinkers. This does not seem to be the case any longer.
custom
I propose to remove that sentence, as those who are interested in shrinkers can find them inside this package.
If you'd like to, just merge one and I can resolve the conflict on the other.
Closed in favor of #45.
The docs for
custom
mention an external package as the definition source for the shrinkers. This does not seem to be the case any longer.I propose to remove that sentence, as those who are interested in shrinkers can find them inside this package.