Code

feat: fast path for inlay hints#7149

Code

Merged

mhuisi merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom mhuisi:mhuisi/inlay-hint-fast-pathmhuisi/lean4:mhuisi/inlay-hint-fast-pathCopy head branch name to clipboardFeb 20, 2025

+29-12

Commits

Commits on Feb 19, 2025

• feat: fast path for inlay hints

  mhuisi

  committed
  c3ffc15

  Copy full SHA for c3ffc15