[spectec] Clean up IL semantics and elaborator (WIP)#2056

Open

rossberg wants to merge 25 commits intomainfrom

Commits on Oct 30, 2025

Make sure all variables occuring in type annotations are quantified
rossberg
committed

Commits on Nov 2, 2025

Merge branch 'main' into deptup
rossberg
committed

Commits on Nov 4, 2025

Add args to CaseE, UncaseE, DotE, DotP, expfield; unify params and binds
rossberg
committed

Commits on Nov 18, 2025

WIP
rossberg
committed

Commits on Dec 2, 2025

WIP2 (now compiles again)
rossberg
committed

Commits on Dec 3, 2025

Commits on Jan 13, 2026

WIP3
rossberg
committed

Commits on Jan 18, 2026

Commits on Jan 20, 2026