Skip to content

XL-2 LoweringOccurrenceProjection 1/3: constructor tag atoms lowered from the tag token - #12305

Merged
gunbai-bot[bot] merged 2 commits into
mainfrom
session/tidy-otter-111-tag-sources
Sep 26, 2026
Merged

XL-2 LoweringOccurrenceProjection 1/3: constructor tag atoms lowered from the tag token#12305
gunbai-bot[bot] merged 2 commits into
mainfrom
session/tidy-otter-111-tag-sources

Merge remote-tracking branch 'origin/main' into session/tidy-otter-11…

f8ebce0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar