Repository navigation

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

Commits on Sep 25, 2026
- XL-2 LoweringOccurrenceProjection PR1: constructor tag atoms are lowered from the tag token
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9be25c1
Commits on Sep 26, 2026
- Merge remote-tracking branch 'origin/main' into session/tidy-otter-111-tag-sources
  gunbc-ci-auto-heal
  committed
  f8ebce0