Skip to content

Makes dictionary argument exclusion logic in Tactic plugin more robust#508

Merged
jneira merged 9 commits intohaskell:masterfrom konn:tactic-exclude-coercionsNov 25, 2020
+49-8

Commits