Skip to content

Wingman: Ensure homomorphic destruct covers all constructors in the domain#1968

Merged
mergify[bot] merged 6 commits intohaskell:masterfrom
isovector:homo-must-typecheck
Jun 25, 2021

Commits

Commits on Jun 22, 2021

Commits on Jun 23, 2021

Commits on Jun 24, 2021