commit: a483a7617fe20003940246c99863273758547998

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

Tue May 26 12:44:24 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Tue May 26 12:44:24 2026 -0300
tree: af788bc9df71a2515adabbae208e12dfe353fb2d
parent: 40a214f297ef926d6b5bd2ea6044611a5bf3c3f0 [diff]

fix: retry policy

src/Std/Http/Client/Agent.lean[diff]
src/Std/Http/Client/Connector.lean[Added - diff]
src/Std/Http/Client/Pool.lean[diff]
src/Std/Http/Client/Redirect.lean[Renamed from src/Std/Http/Data/Redirect.lean - diff]
src/Std/Http/Data.lean[diff]

5 files changed

tree: af788bc9df71a2515adabbae208e12dfe353fb2d

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.