Skip to content

perf: Don't hash the key when searching in empty hash tables - #2471

Closed
hargoniX wants to merge 1 commit into
leanprover:masterfrom
hargoniX:empty-hash
Closed

perf: Don't hash the key when searching in empty hash tables#2471
hargoniX wants to merge 1 commit into
leanprover:masterfrom
hargoniX:empty-hash

Commits

Commits on Aug 30, 2023