Skip to content

Separate prelude imports from star imports#6971

Draft
jjcnn wants to merge 4 commits intomasterfrom jjcnn/prelude_overridden_by_star_import

Commits

Commits on Feb 28, 2025