commit: bed9a24b6bda01b5d212b764fdaec9e1337f06db

[log]
author: Marc Huisinga <mhuisi@protonmail.com>

Mon Sep 22 10:30:07 2025 +0200
committer: Marc Huisinga <mhuisi@protonmail.com>

Mon Sep 22 10:30:07 2025 +0200
tree: c66a9222a2e228ce127474450338a80bfedad222
parent: da2f8c29924adab5e56df8f1d4724850d8f9fb73 [diff]

chore: adjust name and signature of `rangeOfStx?`

src/Lean/Data/Lsp/Utf16.lean[diff]

1 file changed

tree: c66a9222a2e228ce127474450338a80bfedad222

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.