Skip to content

feat: inlay hints for auto-implicits#6768

Merged
mhuisi merged 6 commits intoleanprover:masterfrom mhuisi:mhuisi/inlay-hintsFeb 4, 2025

Commits

Commits on Jan 24, 2025

Commits on Feb 3, 2025

Commits on Feb 4, 2025