Unfold-unfolded definitions when the extentionality flag is active#704

Merged

nikivazou merged 7 commits intoucsd-progsys:developfrom AlecsFerra:develop

Sep 12, 2024

+69-1

Commits on Sep 10, 2024

Feat: unfold-unfolded definitions when the extentionality flag is active
Alessio Ferrarini
committed

Commits on Sep 11, 2024

Commits on Sep 12, 2024

tests: add tests for ucsd-progsys#704
AlecsFerra
committed