Skip to content

Phase 1: Seq<T> ghost type#143

Draft
coord-e wants to merge 8 commits into
mainfrom
claude/nifty-newton-wfxz2e
Draft

Phase 1: Seq<T> ghost type#143
coord-e wants to merge 8 commits into
mainfrom
claude/nifty-newton-wfxz2e

Inline-step peephole for indexed access on Seq::concat / subsequence

9541c58
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar