Skip to content

Hold a refined type's refinements in one unordered set instead of nested layers - #77

Open
dpmills wants to merge 1 commit into
dmills/scoped-infer-varsfrom
dmills/refinement-set
Open

Hold a refined type's refinements in one unordered set instead of nested layers#77
dpmills wants to merge 1 commit into
dmills/scoped-infer-varsfrom
dmills/refinement-set

Commits

Commits on Aug 22, 2026