lean4-htt/stage0
Sebastian Ullrich a95227c7d7
perf: make Environment.getModuleIdx? constant-time (#12068)
This array can now be 7000+ items long and `getModuleIdxFor?` has always
been constant-time, possibly creating confusion
2026-01-21 14:38:28 +00:00
..
src perf: make Environment.getModuleIdx? constant-time (#12068) 2026-01-21 14:38:28 +00:00
stdlib chore: update stage0 2026-01-20 12:05:41 +00:00