TauTastic
Results
11
comments of
TauTastic
> What would the fix proposed here actually do? > The proposed fix treats `apply`, `apply?` and `apply!` all as distinct tactics. You can enable or disable each one seperatly,...