Skip to content

Derive grounding for dag declared inhabitants: the add slice greens end-to-end - #10673

Closed
briansrls wants to merge 4 commits into
mainfrom
cursor/infer-declared-inhabitant-grounding-361f
Closed

briansrls wants to merge 4 commits into
mainfrom
cursor/infer-declared-inhabitant-grounding-361f

Commits

  1. Commits on Sep 6, 2026