Skip to content

Properly scope GADT equality evidence in the judgment#1942

Merged
jneira merged 3 commits intohaskell:masterfrom
isovector:proper-coercion
Jun 18, 2021

Commits

Commits on Jun 17, 2021

Commits on Jun 18, 2021