commit: e0f2a68c60ec87ad191cb4ae7c783e6ccfadde1c

[log]
author: Kim Morrison <kim@tqft.net>

Sat Jan 04 13:59:44 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Sat Jan 04 13:59:44 2025 +1100
tree: 445709064187eb621cfd890246fcaae7bd10b85e
parent: ad593b36d9eeac954a6b1810385d3707bada87a7 [diff]

chore: cleanup imports in Lean.Lsp

src/Lean/Data/Lsp.lean[diff]
src/Lean/Data/Lsp/Basic.lean[diff]
src/Lean/Data/Lsp/CancelParams.lean[Added - diff]

3 files changed

tree: 445709064187eb621cfd890246fcaae7bd10b85e

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).