Sofia Rodrigues 551086c854 feat: add core HTTP data types (#12126) ... This PR introduces the core HTTP data types: `Request`, `Response`, `Status`, `Version`, and `Method`. Currently, URIs are represented as `String` and headers as `HashMap String (Array String)`. These are placeholders, future PRs will replace them with strict implementations. This contains the same code as #10478, divided into separate pieces to facilitate easier review. The pieces of this feature are: - Core data structures: #12126 - Headers: #12127 - URI: #12128 - Body: #12144 - H1: #12146 - Server: #12151 - Client: --------- Co-authored-by: Rob23oba <152706811+Rob23oba@users.noreply.github.com>		2026-03-04 14:32:29 +00:00
..
docparse	fix: error messages from Verso docstring parser (#12372)	2026-02-07 07:49:06 +00:00
grind	chore: prefer cons_cons over cons₂ in names (#12710)	2026-02-27 08:58:08 +00:00
interactive	perf: add high priority to OfSemiring.Q instances (#12782)	2026-03-04 12:58:15 +00:00
run	feat: add core HTTP data types (#12126)	2026-03-04 14:32:29 +00:00
server
sym
copy-produced
test_single.sh