Add missing List ops; short-circuit any?/all? in all types#13
Closed
carpentry-agent[bot] wants to merge 1 commit into
Closed
Add missing List ops; short-circuit any?/all? in all types#13carpentry-agent[bot] wants to merge 1 commit into
carpentry-agent[bot] wants to merge 1 commit into
Commits
Commits on Jun 20, 2026
- committed
carpentry-bot