Repository navigation
feat(language): a where counts the coordinates a predicate admits, and reads one at a neighbour - #1706
Closed
FBumann wants to merge 1 commit into
Closed
feat(language): a where counts the coordinates a predicate admits, and reads one at a neighbour#1706FBumann wants to merge 1 commit into
FBumann wants to merge 1 commit into
CodSpeed / CodSpeed Performance Analysis
succeeded
Sep 21, 2026 in 0s
Performance Gate Passed
✅ 24 untouched benchmarks
⏩ 58 skipped benchmarks1
Comparing claude/lpspec-589-592-update-qa51o2-count (959ce51) with claude/lpspec-589-592-update-qa51o2 (345b8c6)
Footnotes
-
58 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩
Loading