Skip to content

Add missing List ops; short-circuit any?/all? in all types#13

Closed
carpentry-agent[bot] wants to merge 1 commit into
mainfrom
claude/list-ops-short-circuit
Closed

Add missing List ops; short-circuit any?/all? in all types#13
carpentry-agent[bot] wants to merge 1 commit into
mainfrom
claude/list-ops-short-circuit

Commits

Commits on Jun 20, 2026