commit: d2085ff36bc9e970d5a1d228014105c0010fbb5c

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

Sat Mar 28 17:14:46 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Sat Mar 28 17:14:46 2026 -0300
tree: ce175197833db5aff35aa4f269d95a9ec0c5f756
parent: 9ee074471d117acdeeabbfaa2e23f72ca6b53677 [diff]

revert: fromBytes

src/Std/Internal/Http/Data/Body/Stream.lean[diff]

1 file changed

tree: ce175197833db5aff35aa4f269d95a9ec0c5f756

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.