commit: 71c43a1f11048b256aa2327fe365de49378a1f55

[log]
author: Henrik Böving <hargonix@gmail.com>

Fri Jan 02 10:58:08 2026 +0000
committer: Henrik Böving <hargonix@gmail.com>

Fri Jan 02 10:58:08 2026 +0000
tree: cd5d3fd5ea860899233cba35031f6e476617d2b3
parent: ef9777ec0d03136128d5d998a2894a6ef38828b5 [diff]

perf: inline IsUTF8FirstByte

src/Init/Data/String/Decode.lean[diff]

1 file changed

tree: cd5d3fd5ea860899233cba35031f6e476617d2b3

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.