Skip to content

Correctly split non-varpats in tactics#1427

Merged
mergify[bot] merged 1 commit intohaskell:masterfrom
isovector:fix-bug-split
Feb 23, 2021

Commits

Commits on Feb 23, 2021