Skip to content

feat(ir)!: state tuple openness and bounds from prefixItems - #734

Open
fuad-daoud wants to merge 3 commits into
mainfrom
feat/ir-tuple-openness-bounds
Open

fuad-daoud wants to merge 3 commits into
mainfrom
feat/ir-tuple-openness-bounds

Commits

  1. Commits on Sep 30, 2026

  2. Commits on Oct 7, 2026

  3. Commits on Oct 11, 2026