Skip to content

Fix detection of tyvars when generalizing sorts of gsImpAxioms #1208

Fix detection of tyvars when generalizing sorts of gsImpAxioms

Fix detection of tyvars when generalizing sorts of gsImpAxioms #1208