[ refactor ] ScopedSnocList: Swap `Scope` on `SnocList` (Phase 2) #3513

Open

GulinSS wants to merge 14 commits intoidris-lang:mainfrom

GulinSS:scoped-snoc-list-swap

Commits on Nov 25, 2025

[ refactor ] replace showSep and join by `Data.String.joinBy`

GulinSS
and
mjustus
committed

Commits on Nov 26, 2025

[ refactor ] ScopedSnocList: Swap Scope on SnocList (Phase 2)

GulinSS
and
spcfox
committed
[ refactor ] NatSet: correct indexing logic
GulinSS
committed
[ refactor ] generalised lookup

mjustus
authored and
GulinSS
committed
[ refactor ] define resolveRef as the weakening of findBound, add missing cases to substName

mjustus
authored and
GulinSS
committed
[ refactor ] define underBinders, fix argument order

mjustus
authored and
GulinSS
committed
[ refactor ] added underBinderz, more GenWeakenable instances

mjustus
authored and
GulinSS
committed
[ refactor ] complete refactors regarding swapping inner/outer

mjustus
authored and
GulinSS
committed
[ refactor ] change constructor argument representation from Scope to List Name
GulinSS
committed
[ refactor ] fix test regression
GulinSS
committed
[ refactor ] fix test regression
GulinSS
committed
[ refactor ] fix import regression
GulinSS
committed

Commits on Dec 1, 2025