Skip to content

Implement "split" tactic#521

Closed
WorldSEnder wants to merge 2 commits intohaskell:masterfrom
WorldSEnder:split-tactic
Closed

Implement "split" tactic#521
WorldSEnder wants to merge 2 commits intohaskell:masterfrom
WorldSEnder:split-tactic

Commits

Commits on Oct 31, 2020