Skip to content

perf(typecheck): compare = guards over engine terms in the arena (b-typed ~4.3x less CPU) - #96

Merged
pyrex41 merged 1 commit into
mainfrom
perf/eqterm-native-equality
Oct 21, 2026
Merged

perf(typecheck): compare = guards over engine terms in the arena (b-typed ~4.3x less CPU)#96
pyrex41 merged 1 commit into
mainfrom
perf/eqterm-native-equality

Commits

  1. Commits on Oct 21, 2026