commit: 4eabed975d10ab5d131d392dd5407dfb688abd0b

[log]
author: Sofia Rodrigues <sofia@algebraic.dev>

Thu Nov 05 00:18:28 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Thu Nov 05 00:18:28 2026 -0300
tree: 8d5686bad9329facc635fba8edf716bd9c8049e6
parent: f5be489f3742d799b055b1cfc582b2e02fb4fc85 [diff]

perf: scan HTTP header entries instead of maintaining a hash index

src/Std/Http/Data/Headers.lean[diff]
src/Std/Http/Data/Headers/Name.lean[diff]
src/Std/Http/Internal.lean[diff]
src/Std/Http/Internal/IndexMultiMap.lean[Deleted - diff]
src/Std/Http/Internal/MultiMap.lean[Added - diff]
tests/elab/http_multimap.lean[Added - diff]

6 files changed

tree: 8d5686bad9329facc635fba8edf716bd9c8049e6

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.