Skip to content

Let Wingman's apply tactic run endomorphisms#1505

Merged
mergify[bot] merged 3 commits intohaskell:masterfrom
isovector:use-endos
Mar 7, 2021
Merged

Let Wingman's apply tactic run endomorphisms#1505
mergify[bot] merged 3 commits intohaskell:masterfrom
isovector:use-endos

Commits

Commits on Mar 6, 2021