Skip to content

More tests of overlapping methods for tactics#1350

Closed
isovector wants to merge 1 commit intohaskell:masterfrom
isovector:more-method-tests
Closed

More tests of overlapping methods for tactics#1350
isovector wants to merge 1 commit intohaskell:masterfrom
isovector:more-method-tests

Commits

Commits on Feb 11, 2021