Skip to content

Remove default scope layer for desugaring#106

Merged
mlechu merged 1 commit intomainfrom
caf/remove-default-lowering-scope-layer
Oct 21, 2025
Merged

Remove default scope layer for desugaring#106
mlechu merged 1 commit intomainfrom
caf/remove-default-lowering-scope-layer

Commits

Commits on Oct 21, 2025