Tactic plugin: Excludes Dictionary arguments in GADTs in Destruct Tactic#474
Merged
jneira merged 6 commits intohaskell:masterfrom Oct 7, 2020
konn:tactic-exclude-dictionary
Commits
Commits on Oct 7, 2020
- committed
- committed
- committed
- committed
- committed
- committed
