Skip to content

Fix/collapse bare tuple - #2

Merged
MesTTo merged 3 commits into
MesTTo:metatheoryfrom
zariuq:fix/collapse-bare-tuple
Jul 19, 2026
Merged

Fix/collapse bare tuple#2
MesTTo merged 3 commits into
MesTTo:metatheoryfrom
zariuq:fix/collapse-bare-tuple

Preserve transient collision aliases during reconciliation

8614cd1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build-and-test
succeeded Jul 16, 2026 in 5m 41s