Skip to content

Cleanup the TacticProviders interface#1572

Merged
mergify[bot] merged 1 commit intohaskell:masterfrom
isovector:cleanup-tpd
Mar 14, 2021

Commits

Commits on Mar 14, 2021