Register user primitives on the term-encoding typechecker#945
Draft
oflatt-claude wants to merge 1 commit into
Draft
Register user primitives on the term-encoding typechecker#945oflatt-claude wants to merge 1 commit into
oflatt-claude wants to merge 1 commit into
CodSpeed HQ / CodSpeed Performance Analysis
succeeded
Jul 7, 2026 in 0s
Performance Gate Passed
✅ 37 untouched benchmarks
⏩ 227 skipped benchmarks1
Comparing oflatt-claude:fix-user-primitives-term-encoding (4ed4acc) with main (6f0d26e)
Footnotes
-
227 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